module type S1 = sig .. end
sig
end
type 'a t
'a
val invariant : 'a Invariant.inv -> 'a t Invariant.inv
'a Invariant.inv -> 'a t Invariant.inv