[semidet]xref_public_list(+File,
-Path, -Export, +Src)These predicates fail if File is not a module-file.
| Path | is the canonical path to File |
| Module | is the module defined in Path |
| Export | is a list of predicate indicators. |
| Meta | is a list of heads as they appear in meta_predicate/1 declarations. |
| Src | is the place from which File is referenced. |