package bolt

  1. Overview
  2. Docs
val verbose : string -> unit
type 'a container
val make_container_functions : unit -> 'a container * (string -> 'a -> unit) * ('a -> string) * (string -> 'a)
val get_thread_id : unit -> int
val enter_critical_section : unit -> unit
val leave_critical_section : unit -> unit
val split : string -> string -> string list
val trim_left : string -> string
val trim_right : string -> string
val trim : string -> string
val register_thread_functions : (unit -> int) -> (unit -> unit) -> (unit -> unit) -> unit
val paje_t : string Pervasives.ref
val daikon_t : string Pervasives.ref