Module Wp.CfgWP

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