Module Invariant

module Invariant: sig .. end

val __pa_ounit_275876e34cf609db118f3d84b799a790 : string
type 'a t = 'a -> unit 
type 'a inv = 'a t 
module type S1 = sig .. end
module type S2 = sig .. end
module type S3 = sig .. end