Availability:built-in
[ISO]current_op(?Precedence,
?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
details.