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