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