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