Availability:
:- use_module(pldoc(doc_html)).- module_info(+File, -ModuleOptions, +OtherOptions) is det
- Add options
module(Name),public(Exports)to OtherOptions if File is a module file.
:- use_module(pldoc(doc_html)).module(Name), public(Exports) to OtherOptions if
File is a module file.