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