sig
type
elt =
Use
.
T
.t
type
t =
Term
.
Set
.t
end