Previous
Up
Next
Module
CfgWP.VC.G
module
G:
Qed.Collection.Make
(
TARGET
)