Module CfgWP

module CfgWP: sig .. end

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