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.