sig
  val assert_bool : string -> string -> bool -> unit
  val run_test : string -> string -> (string -> unit) -> unit
  val report : unit -> unit
  val print_msg : string -> unit
end