diff options
Diffstat (limited to 'ocaml/tmp/quick_test.ml')
| -rw-r--r-- | ocaml/tmp/quick_test.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ocaml/tmp/quick_test.ml b/ocaml/tmp/quick_test.ml new file mode 100644 index 0000000..9ce168a --- /dev/null +++ b/ocaml/tmp/quick_test.ml @@ -0,0 +1,6 @@ +let () = + Printf.printf "Z.numbits 0 = %d\n" (Z.numbits Z.zero); + Printf.printf "Z.numbits 1 = %d\n" (Z.numbits Z.one); + Printf.printf "Z.numbits 2 = %d\n" (Z.numbits (Z.of_int 2)); + Printf.printf "Z.numbits 42 = %d\n" (Z.numbits (Z.of_int 42)); + Printf.printf "Z.numbits 6 = %d\n" (Z.numbits (Z.of_int 6)); |