sig
  val zero : Partition.key
  val compare : Partition.key -> Partition.key -> int
  val pretty : Format.formatter -> Partition.key -> unit
  val exceed_rationing : Partition.key -> bool
end