sig
type
t = index
val
compare : t
->
t
->
int
end