module OrderedString: sig .. end
sig
end
type t = string
string
val compare : 'a -> 'a -> int
'a -> 'a -> int