Availability:
:- use_module(library(prolog_xref)).(can be autoloaded)- xref_option(?Source, ?Option) is nondet
- True when Source was processed using Option. Options are defined with xref_source/2.