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