sig
type ('a, 'b) t = {
assertion : 'a -> bool;
fail_alert : 'a -> 'b;
success_alert : 'a -> 'b;
min_alert_interval : Time.Span.t;
mutable last_fail_alert_time : Time.t option;
}
val create :
assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) ->
min_alert_interval:Time.Span.t -> ('a, 'b) Error_check.Timer.t
val check : ('a, 'b) Error_check.Timer.t -> 'a -> Time.t -> 'b option
val state : ('a, 'b) Error_check.Timer.t -> bool
val sexp_of_t : 'a -> 'b -> ('c, 'd) Error_check.Timer.t -> Sexplib.Sexp.t
end