Did you know ... Search Documentation:
Predicate xref_exported/2
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
 xref_exported(?Source, ?Head) is nondet
True when Source exports Head.