Module Wp.Sigs.Model.Heap

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