AltErgoLib.Timers
val empty : unit -> t
return a new empty env *
val reset : t -> unit
reset the given env to empty
val start : t -> ty_module -> ty_function -> unit
save the current timer and start the timer "ty_module x ty_function" *
val pause : t -> ty_module -> ty_function -> unit
pause the timer "ty_module x ty_function" and restore the former timer *
val update : t -> unit
update the value of the current timer *
val get_value : t -> ty_module -> ty_function -> float
get the value of the timer "ty_module x ty_function" *
get the sum of the "ty_function" timers for the given "ty_module" *
val current_timer : t -> ty_module * ty_function * int
val string_of_ty_module : ty_module -> string
val string_of_ty_function : ty_function -> string
val get_stack : t -> (ty_module * ty_function * int) list
val get_timers_array : t -> float array array
val mtag : ty_module -> int
val ftag : ty_function -> int
val all_modules : ty_module list
val all_functions : ty_function list
val set_timer_start : (ty_module -> ty_function -> unit) -> unit
This functions assumes (asserts) that timers() yields true *
val set_timer_pause : (ty_module -> ty_function -> unit) -> unit
This functions assumes (asserts) that timers() yields true *
val exec_timer_start : ty_module -> ty_function -> unit
val exec_timer_pause : ty_module -> ty_function -> unit