package libsail

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val opt_profile : bool ref
type profile = {
  1. smt_calls : int;
  2. smt_time : float;
}
val new_profile : profile
val profile_stack : profile list 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
OCaml

Innovation. Community. Security.