sig
  val compare : string -> string -> int
  val equal : string -> string -> bool
end