Module Base__.Invariant_intf

type 'a t = 'a ‑> unit
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
module type Invariant : sig ... end