Availability:
:- use_module(library(prolog_xref)).(can be autoloaded)- xref_comment(?Source, ?Head, ?Summary, ?Comment) is nondet
- Is true when Head in Source has the given PlDoc comment.
:- use_module(library(prolog_xref)).(can be autoloaded)