sig
  type t = Model.Index.E.key
  val compare : Model.Index.E.key -> Model.Index.E.key -> int
end