Up – async_kernel » Async_kernel__ » Async_invariant_intf

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.

module Async : sig ... end

module type Async_invariant = sig ... end