sig
type
t
val
compare :
CCTrie
.
ORDERED
.t
->
CCTrie
.
ORDERED
.t
->
int
end