Module CfgWP

module CfgWP: sig .. end

module VC: 
functor (M : Memory.Model) -> Mcfg.S
module Computer: 
functor (M : Memory.Model) -> sig .. end
val computer : Factory.setup -> Factory.driver -> Generator.computer