Next: Public Declarations, Previous: Meta-Predicate Declarations, Up: ref-lod-dcl [Contents][Index]
One of the following declarations:
:- module(+ModuleName, +ExportList). :- module(+ModuleName, +ExportList, +Options).
where ExportList is a list of predicate specifications, declares that the forthcoming predicates should go into the module named ModuleName and that the predicates listed should be exported. See ref-mod for details. See mpg-ref-meta_predicate.