You can search for identifiers within the package.
in-package search v0.2.0
val opt_profile : bool Stdlib.ref
type profile = {
smt_calls : int;
smt_time : float;
}
val new_profile : profile
val profile_stack : profile list Stdlib.ref
val update_profile : (profile -> profile) -> unit
val start_smt : unit -> float
val finish_smt : float -> unit
val start : unit -> float
val finish : string -> float -> unit