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