sig
type
t
val
invariant :
Invariant_intf
.
S
.t
Invariant_intf
.inv
end