|Did you know ...
op(Precedence, Type, Name).
Operators defined in the export list are available inside the module as
well as to modules importing this module. See also section
Compatible to Ciao Prolog, if Module is unbound, it is unified with the basename without extension of the file being loaded.