Module MemVar.Make.TALLOC

module TALLOC: Qed.Collection.Make(VALLOC)