Availability::- use_module(pldoc(doc_html)).
- object_page(+Obj, +Options)// is semidet
- Generate an HTML page describing Obj. The top presents the file
the object is documented in and a search-form. Options:
- header(+Boolean)
- Show the navigation and search header.