Module Monitor_sig.Monitor.Time


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.
Raises 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.
Raises 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.