diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index c550b2ce..9b1bbc30 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -437,10 +437,12 @@ let sqrt_real x = real_of_string (string_of_float (sqrt (Num.float_of_num x))) let print_int (str, x) = prerr_endline (str ^ string_of_big_int x) +let string_of_zbit = function + | B0 -> "0" + | B1 -> "1" let string_of_znat n = string_of_big_int n let string_of_zint n = string_of_big_int n let string_of_zunit () = "()" -let string_of_zbits xs = string_of_bits xs let string_of_zbool = function | true -> "true" | false -> "false" |