Availability:
:- use_module(pldoc(doc_html)).
- private(+Obj, +Options) is semidet
- True if Obj is not exported from Options. This means Options defined a module and Obj is not member of the exports of the module.
:- use_module(pldoc(doc_html)).