You can search for identifiers within the package.
in-package search v0.2.0
type data = {
n : int;
sum : float;
sum_squares : float;
last : float;
}
val str_time : string ref
val zero_data : data
val setup : data ref
val prove : data ref
val verify : data ref
val reset : unit -> unit
val update : data ref -> float -> unit
val mean : data ref -> float
val var : data ref -> float
val std : data ref -> float
val string_of_time : float -> string
val time : string -> (unit -> 'a) -> 'b
val reset_str : unit -> unit
val update_str : ?header:string -> unit -> unit
val print_time_in_file : string -> unit
val bench_test_circuit : nb_rep:int -> (unit -> 'a) -> unit -> unit
val time_if_verbose : bool -> string -> (unit -> 'a) -> 'b