Object Info


protect(_G25) is defined in /home/robert/projects/Ctadel/arakawa.s:26
protect(_G25) --> declared_op(script("arakawa")) --> declared_object(script(
"arakawa")) --> object
----------------------- Properties:
protect({_G118675}) has value({_G118675})
protect(_G25) has type(([_G118678] -> _G118678))
----------------------- Methods:
protect(_G25) can get_latex(protect(_G25), none, [ "\overbrace"
, _G25
, "^{\rm protect}" ])
----------------------- Methods inherited from class object:
protect(_G25) can restore(_G119011)
save(_G119011, _G119012)
get_properties(_G119011, _G119012)
get_superobjects(_G119011, _G119012)
get_subobjects(_G119011, _G119012)
get_parents(_G119011, _G119012)
get_children(_G119011, _G119012)
get_instances(_G119011, _G119012)
create(_G119011, _G119012)
get_dependencies(_G119011, _G119012)