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.

val stop : t -> unit

stop t sets the end of the time monitoring t at the place where it is used.

val time : string -> ('a -> 'b) -> 'a -> 'b

time s f arg monitors the time spent in the function f.