module CfgWP: sig .. end
sig
end
module type VCgen = sig .. end
val vcgen : Factory.setup -> Factory.driver -> (module CfgWP.VCgen)
Factory.setup -> Factory.driver -> (module CfgWP.VCgen)