Previous
Up
Next
Module
MemVar.Make.TALLOC
module
TALLOC:
Qed.Collection.Make
(
VALLOC
)