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