sig
type
'
a t
val
invariant :
'
a
Invariant_intf
.inv
->
'
a
Invariant_intf
.
S1
.t
Invariant_intf
.inv
end