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.