module Timer:sig..end
type (-'a, +'b) t
val sexp_of_t : 'a -> 'b -> ('c, 'd) t -> Std_internal.Sexp.tval create : assertion:('a -> bool) ->
fail_alert:('a -> 'b) ->
success_alert:('a -> 'b) ->
min_alert_interval:Time.Span.t -> ('a, 'b) tval check : ('a, 'b) t -> 'a -> Time.t -> 'b optionval state : ('a, 'b) t -> bool