module Heap: Qed.Collection.S with type t = Chunk.t
Qed.Collection.S
with type t = Chunk.t
Chunks Sets and Maps.