Module Async_kernel__.Async_invariant_intf

This module defines signatures that extend Core_kernel.Invariant with an Async submodule for invariants that use async computation and return unit Deferred.t.