time.ml 171 Bytes
Newer Older
1 2 3 4 5 6 7

(**
 * Executes a function and time it.
 * The elapsed time is returned in seconds.
 *)
external measure_function : (unit -> 'a) -> int * 'a = "time_measure_function";;