Object Info
right-associative infix operator ; has precedence 1100
_G445; _G446 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:88
_G445; _G446 --> statement_op --> constant --> object
associative_op --> operator --> object
------------------ Properties:
_G445; _G446 has type(([statement, statement] -> statement))
type(([([_G52893] -> _G52885), ([_G52893] -> _G52885)] -> _G52885))
unit_element(nil)
------------------ Methods:
_G445; _G446 can get_latex(_G53027, ["\begin{array}[t]{@{}l}"], [ (_G53049; _G53050 latex
[ _G53049
, ";\\"
, _G53050 ]
) ], [
"\end{array}"])
------------------ Methods inherited from class object:
_G445; _G446 can get_saved(_G53343, _G53344)
restore(_G53343)
freeze(_G53343, _G53344)
save(_G53343, _G53344)
get_properties(_G53343, _G53344)
get_superobjects(_G53343, _G53344)
get_subobjects(_G53343, _G53344)
get_parents(_G53343, _G53344)
get_children(_G53343, _G53344)
get_instances(_G53343, _G53344)
create(_G53343, _G53344, _G53345)
create(_G53343, _G53344)
get_dependencies(_G53343, _G53344)