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