From c4b71435d9afdb67450f320f54fb7aa99dcae85e Mon Sep 17 00:00:00 2001 From: polwex Date: Sun, 5 Oct 2025 22:57:55 +0700 Subject: fixed jamcue --- ocaml/tmp/quick_test.ml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 ocaml/tmp/quick_test.ml (limited to 'ocaml/tmp/quick_test.ml') 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)); -- cgit v1.2.3