Up  Next

Module Error_check.Toggle


module Toggle: sig .. end

type ('a, 'b) t = {
   assertion : 'a -> bool;
   fail_alert : 'a -> 'b;
   success_alert : 'a -> 'b;
   mutable success_last : bool;
} 
val create : assertion:('a -> bool) ->
       fail_alert:('a -> 'b) ->
       success_alert:('a -> 'b) -> ('a, 'b) t
val check : ('a, 'b) t -> 'a -> 'b option
val state : ('a, 'b) t -> bool
val sexp_of_t : 'a -> 'b -> ('c, 'd) t -> Sexplib.Sexp.t