Module Memory.Model.Heap

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