sig
type
t =
Parsetree
.relation
val
compare : t
->
t
->
int
end