Object Info

left-associative infix operator @ has precedence 100

_G157 @ _G158 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:569
_G157 @ _G158   --> total_op          --> operator --> object
                    self_commuting_op --> commuting_op --> operator --> object
                    uncommon_op       --> operator --> object
------------------- Properties:
_G157 @ _G158 has   type(([_G11902, reference(index)] -> _G11902))
------------------- Methods:
_G157 @ _G158 can   get_latex(( _G12048
                              @ _G12049
                              ), none, [ "\left["
                                       , _G12048
                                       , "\right]_"
                                       , _G12049 ])
                    range(_G12044, ([_G12048, _G12053] -> _G12048))
------------------- Methods inherited from class object:
_G157 @ _G158 can   get_saved(_G12360, _G12361)
                    restore(_G12360)
                    freeze(_G12360, _G12361)
                    save(_G12360, _G12361)
                    get_properties(_G12360, _G12361)
                    get_superobjects(_G12360, _G12361)
                    get_subobjects(_G12360, _G12361)
                    get_parents(_G12360, _G12361)
                    get_children(_G12360, _G12361)
                    get_instances(_G12360, _G12361)
                    create(_G12360, _G12361, _G12362)
                    create(_G12360, _G12361)
                    get_dependencies(_G12360, _G12361)
------------------- Methods inherited from class self_commuting_op:
_G157 @ _G158 can   commute_over(_G12434, _G12435)