Availability::- use_module(library(prolog_xref)).
(can be autoloaded)
- xref_op(?Source, Op) is nondet
- Give the operators active inside the module. This is intended to
setup the environment for incremental parsing of a term from the
source-file.
- Arguments:
-
Op | - Term of the form op(Priority, Type, Name) |