sig
type
t
val
compare :
Cf_ordered
.
Total_T
.t
->
Cf_ordered
.
Total_T
.t
->
int
end