Object Info

left-associative infix operator eqv has precedence 916

_G263 eqv _G264 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:189
_G263 eqv _G264   --> elemental_op --> operator --> object
                      total_op     --> operator --> object
                      abelian_op   --> associative_op --> operator --> object
                                       commutative_op --> operator --> object
--------------------- Properties:
_G263 eqv _G264 has   type(([boolean, boolean] -> boolean))
                      unit_element(true)
--------------------- Methods inherited from class object:
_G263 eqv _G264 can   get_saved(_G40363, _G40364)
                      restore(_G40363)
                      freeze(_G40363, _G40364)
                      save(_G40363, _G40364)
                      get_properties(_G40363, _G40364)
                      get_superobjects(_G40363, _G40364)
                      get_subobjects(_G40363, _G40364)
                      get_parents(_G40363, _G40364)
                      get_children(_G40363, _G40364)
                      get_instances(_G40363, _G40364)
                      create(_G40363, _G40364, _G40365)
                      create(_G40363, _G40364)
                      get_dependencies(_G40363, _G40364)