Module Partition.Key

module Key: sig .. end

val zero : Partition.key
Initial key: no partitioning.
val compare : Partition.key -> Partition.key -> int
val pretty : Format.formatter -> Partition.key -> unit
val exceed_rationing : Partition.key -> bool