Sourcetype data = {n : int;sum : float;sum_squares : float;last : float;
} Sourceval str_time : string Stdlib.ref Sourceval reset : unit -> unit Sourceval update : data Stdlib.ref -> float -> unit 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