sig   exception Tests_failed   val max_failures : int   val failed_tests : string list Pervasives.ref   val fail : string -> unit   val new_tmp_dir : unit -> string   val run_monad :     string ->     (unit ->      [< `Error of [< `Database of Trakeva.Error.t ] | `Ok of unit ] Lwt.t) ->     unit   val check : string list -> bool -> unit   val now : unit -> float end