- 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 and section_level.
See doc_latex/3 for a description of the options.