diff options
Diffstat (limited to 'lib/imports.ml')
-rw-r--r-- | lib/imports.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/imports.ml b/lib/imports.ml new file mode 100644 index 0000000..6d1617d --- /dev/null +++ b/lib/imports.ml @@ -0,0 +1,10 @@ +(* Anything helper functions that would be imported for each module *) + +let print_endline_int i = print_endline (Int.to_string i) + +let time f = + let before = Unix.gettimeofday () in + let result = f () in + let after = Unix.gettimeofday () in + print_endline (Printf.sprintf "%f" (after -. before)) ; + result |