Module Partition.Key

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