val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> ('h -> Ppx_sexp_conv_lib.Sexp.t) -> ('a, 'h) t -> Ppx_sexp_conv_lib.Sexp.ttype t_unit = (unit, unit) tval sexp_of_t_unit : t_unit -> Ppx_sexp_conv_lib.Sexp.tinclude Core_kernel.Invariant.S2 with type ('a, 'b) t := ('a, 'b) t
val invariant : ('a -> unit) -> ('b -> unit) -> ('a, 'b) t -> unitval scheduled_at : (_, _) t -> Core_kernel.Int63.tmodule Status : sig ... endval run_at : [> Core_kernel.read ] T1.t -> Core_kernel.Int63.t -> ('z -> 'h) -> 'z -> (_, 'h) tval run_after : [> Core_kernel.read ] T1.t -> Core_kernel.Int63.t -> ('z -> 'h) -> 'z -> (_, 'h) tmodule Abort_result : sig ... endval abort : ('a, 'h) t -> 'a -> ('a, 'h) Abort_result.tval abort_exn : ('a, 'h) t -> 'a -> unitval abort_if_possible : ('a, _) t -> 'a -> unitmodule Fired : sig ... endmodule Reschedule_result : sig ... endval reschedule_at : ('a, 'h) t -> Core_kernel.Int63.t -> ('a, 'h) Reschedule_result.tval reschedule_after : ('a, 'h) t -> Core_kernel.Int63.t -> ('a, 'h) Reschedule_result.tval at : [> Core_kernel.read ] T1.t -> Core_kernel.Int63.t -> (_, unit) tval after : [> Core_kernel.read ] T1.t -> Core_kernel.Int63.t -> (_, unit) t