Object Info

non-associative infix operator => has precedence 1150

_G38 => _G39 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:868
_G38 => _G39 --> external_op(gpas, nil, off) --> operator --> object
-------------------- Methods:
_G38 => _G39 can get_latex((_G28292;
_G28293 => _G28290), (=>), [ _G28293
,
"\quad\stackrel{\rm"
, _G28292
, "}\Rightarrow\quad"
, _G28290 ])
-------------------- Methods inherited from class object:
_G38 => _G39 can get_saved(_G28601, _G28602)
restore(_G28601)
freeze(_G28601, _G28602)
save(_G28601, _G28602)
get_properties(_G28601, _G28602)
get_superobjects(_G28601, _G28602)
get_subobjects(_G28601, _G28602)
get_parents(_G28601, _G28602)
get_children(_G28601, _G28602)
get_instances(_G28601, _G28602)
create(_G28601, _G28602, _G28603)
create(_G28601, _G28602)
get_dependencies(_G28601, _G28602)