Up – async_kernel » Async_kernel__ » Async_invariant » S

Module type `Async_invariant.S`

type t

val invariant : t Base__.Invariant_intf.inv