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