<xsl:value-of select="logtalk_entity/entity/name" />
- availability:
- author:
- version:
- date:
- copyright:
- license:
- compilation flags:
- :
- implements:
- imports:
- extends:
- instantiates:
- specializes:
- complements:
- provides:
- uses:
- aliases:
dependencies:
::
as
Inherited public predicates
- compilation flags:
- template:
- meta-predicate template:
- coinductive predicate template:
- mode – number of proofs:
– - exceptions:
- :
- remarks:
- :
- since:
- see also:
- examples:
- :
Operators
()
Remarks
See also