sig
type
t
val
compare :
CCWBTree
.
ORD
.t
->
CCWBTree
.
ORD
.t
->
int
end