Module MemVar.Make.Heap

module Heap: Qed.Collection.Make(Chunk)