Availability:
:- use_module(pldoc(doc_html)).- objects(+Objects:list, +Options)// is det
- Emit the documentation body. Options includes:
- navtree(+Boolean)
- If
true, provide a navitation tree.
:- use_module(pldoc(doc_html)).true, provide a navitation tree.