Object Info
non-associative infix operator in has precedence 830
_G152 in _G153 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:212
_G152 in _G153 --> total_op --> operator --> object
list_op --> constant --> object
-------------------- Properties:
_G152 in _G153 has type(([index, range(integer)] -> boolean))
-------------------- Methods:
_G152 in _G153 can range(_G25113, ([_G25119, _G25117] -> _G25117))
-------------------- Methods inherited from class object:
_G152 in _G153 can get_saved(_G25429, _G25430)
restore(_G25429)
freeze(_G25429, _G25430)
save(_G25429, _G25430)
get_properties(_G25429, _G25430)
get_superobjects(_G25429, _G25430)
get_subobjects(_G25429, _G25430)
get_parents(_G25429, _G25430)
get_children(_G25429, _G25430)
get_instances(_G25429, _G25430)
create(_G25429, _G25430, _G25431)
create(_G25429, _G25430)
get_dependencies(_G25429, _G25430)