Module Sigs.Model.Heap

module Heap: Qed.Collection.S 
    with type t = Chunk.t

Chunks Sets and Maps.