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