Module Helpers.TimeSource

Sourcetype data = {
  1. n : int;
  2. sum : float;
  3. sum_squares : float;
  4. last : float;
}
Sourceval str_time : string ref
Sourceval zero_data : data
Sourceval setup : data ref
Sourceval prove : data ref
Sourceval verify : data ref
Sourceval reset : unit -> unit
Sourceval update : data ref -> float -> unit
Sourceval mean : data ref -> float
Sourceval var : data ref -> float
Sourceval std : data ref -> float
Sourceval string_of_time : float -> string
Sourceval time : string -> (unit -> 'a) -> 'a
Sourceval reset_str : unit -> unit
Sourceval update_str : ?header:string -> unit -> unit
Sourceval print_time_in_file : string -> unit
Sourceval bench_test_circuit : nb_rep:int -> (unit -> 'a) -> unit -> unit
Sourceval time_if_verbose : bool -> string -> (unit -> 'a) -> 'a