Module Memory.Model.Heap

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