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