Functor CfgWP.Computer

module Computer: 
functor (M : Memory.Model) -> sig .. end
Parameters:
M : Memory.Model

module VCG: CfgWP.VC(M)
module WP: Calculus.Cfg(VCG)
class thecomputer : Model.t -> object .. end
val create : Model.t -> Generator.computer