sig
  type (-'a, +'b) t
  val sexp_of_t :
    '-> '-> ('c, 'd) Error_check.ToggleN.t -> Std_internal.Sexp.t
  val create :
    assertion:('-> bool) ->
    fail_alert:('-> 'b) ->
    final_fail_alert:('-> 'b) ->
    success_alert:('-> 'b) ->
    max_consecutive_fail_alerts:int -> ('a, 'b) Error_check.ToggleN.t
  val check : ('a, 'b) Error_check.ToggleN.t -> '-> 'b option
  val state : ('a, 'b) Error_check.ToggleN.t -> bool
end