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