Module MemEmpty.Heap

module Heap: Qed.Collection.Make(Chunk)