module Toggle:sig
..end
type ('a, 'b)
t = {
|
assertion : |
|
fail_alert : |
|
success_alert : |
|
mutable success_last : |
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