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