Did you know ... Search Documentation:
Predicate xref_done/2
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
 xref_done(+Source, -Time) is det
Cross-reference executed at Time