Module Invariant

module Invariant: Invariant

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