Did you know ... Search Documentation:
Predicate xref_option/2
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.