JJ: Description from the destination commit:

wip better errors JJ: Description from source commit: .
2025-12-07 06:39:33 +01:00 · 2025-12-07 06:39:33 +01:00 · be15816115
commit be15816115
parent f8ef92b67e
3 changed files with 89 additions and 81 deletions
--- a/src/util.ml
+++ b/src/util.ml
@ -1,3 +1,5 @@
+exception Bin_error of string
+
 (* TODO bin
   - no [Bin.of_string] ? *)
 let bin_of_string bin s =