sig
type
t = term
val
equal : t
->
t
->
bool
val
hash : t
->
int
val
compare : t
->
t
->
int
end
Hosted by the
*
web site.
*
Other names and brands may be claimed as the property of others.