Module Error_check.Timer

module Timer: sig .. end

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) t

val check : ('a, 'b) t -> 'a -> Time.t -> 'b option

val state : ('a, 'b) t -> bool

val sexp_of_t : 'a -> 'b -> ('c, 'd) t -> Sexplib.Sexp.t