module Key:sig
..end
include Datatype.S_with_collections
val empty : t
Initial key: no partitioning.
val exceed_rationing : t -> bool
val combine : policy:Partition.call_return_policy -> caller:t -> callee:t -> t
Recombinaison of keys after a call