Module Async_invariant_intf.Async

type 'a t = 'a -> unit Async_kernel.Deferred.t
type 'a inv = 'a t
module type S = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end