module WP_TypedRef: CfgWP.Computer(MTypedRef)
CfgWP.Computer
(
MTypedRef
)
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