object
lgtdoc
Documenting tool. Generates XML documenting files for loaded entities and for library, directory, entity, and predicate indexes.
Author: Paulo Moura
Version: 6:5:0
Date: 2022-05-05
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
library_entity_/4
Table of documented entities per library.
Compilation flags:
dynamicTemplate:
library_entity_(Library,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
library_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moredirectory_entity_/4
Table of documented entities per directory.
Compilation flags:
dynamicTemplate:
directory_entity_(Directory,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
directory_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moretype_entity_/4
Table of documented entities per type.
Compilation flags:
dynamicTemplate:
type_entity_(Type,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
type_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_morepredicate_entity_/4
Table of public predicates for all documented entities.
Compilation flags:
dynamicTemplate:
predicate_entity_(Predicate,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
predicate_entity_(?predicate_indicator,?nonvar,?nonvar,?entity_identifier) - zero_or_moreOperators
(none)