Module type Async_kernel__.Async_invariant.S

type t
val invariant : t Base__.Invariant_intf.inv