Module MuTest

val test : string -> (unit -> (Rea.Tailrec.r, exn, unit, 'D Rea.Tailrec.async as 'D) Rea.er) -> unit
val verify : bool -> ('R, exn, unit, < ('R, 'D) Rea.pure' ; ('R, 'D) Rea.fail'.. > as 'D) Rea.er
val failure : string -> ('R, exn, 'a, ['R, 'D] Rea.fail' as 'D) Rea.er
val failuref : ('a, unit, string, string, string, ('R, exn, 'b, ['R, 'D] Rea.fail' as 'D) Rea.er) Stdlib.format6 -> 'a