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