?Type, ?:Name)True if Name is currently defined as an operator of type Type
with precedence Precedence. See also op/3.
Note that an
unqualified Name does not resolve to the
calling context but, when compiling, to the compiler's target module and
otherwise to the typein module. See
section 4.25 for