smtml
Smtml.Utils
smtml.prelude
val run_and_time_call : use:(float -> 'a) -> (unit -> 'b) -> 'b
val query_log_path : Fpath.t option
val protect : Smtml_prelude.Mutex.t -> (unit -> 'a) -> 'a
val write : Expr.t list -> int64 -> unit