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