module Time:sig
..end
A module that allows time monitoring.
type
t
val elapsed_time : unit -> float
Time passed since the initialization (in seconds).
val create : string -> t
create s
creates a time called s
.
val kill : t -> unit
kill t
kills a time t
. This means that this time
won't be monitored anymore.
val start : t -> unit
start t
starts the time monitoring t
at the place where it is used.
Already_started
if t
is already running.val stop : t -> unit
stop t
sets the end of the time monitoring t
at the place where it is used.
Not_started
if no start t
was previously called.val time : string -> ('a -> 'b) -> 'a -> 'b
time s f arg
monitors the time spent in the function f
.