- latex_for_file(+File, +Out, +Options) is det
- Generate a LaTeX description of all commented predicates in
File, writing the LaTeX text to the stream Out. Supports
the options
stand_alone
,public_only
andsection_level
. See doc_latex/3 for a description of the options.