Module MemVar.Make.HEAP

module HEAP: Qed.Collection.Make(VAR)