module CfgDump: sig .. end
sig
end
val _dkey : string
string
module VC: sig .. end
module WP: Calculus.Cfg(VC)
Calculus.Cfg
(
VC
)
class computer : object .. end
object
val create : unit -> Generator.computer
unit -> Generator.computer