Module type Async_kernel__.Async_invariant_intf.Async.S

type t
val invariant : t inv