Module type Async_kernel__Async_invariant_intf.Async_invariant.Async.S

type t
val invariant : t Async.inv