------------------------------------------------------------------------------- # : `` * `` - * availability: `` * author: * version: * date: * copyright: * license: * compilation flags: `` * : * implements: * imports: * extends: * instantiates: * specializes: * complements: * provides: * uses: * aliases: * dependencies: (none) * [`::`](.md#) * [``](.md) * `` `` as `` * [``](.md) * `` [``](.md) ## Inherited public predicates (none) ## Public predicates (no local declarations; see entity ancestors if any) (none) ## Protected predicates (no local declarations; see entity ancestors if any) (none) ## Private predicates (no local declarations; see entity ancestors if any) (none) [``](.md) ### <a name=""></a>`` * compilation flags: `` * template: `` * `` - * meta-predicate template: `` * coinduction predicate template: `` * mode - number of proofs: * `` - `` * exceptions: * : `` * remarks: * : * since: `` * see also: * [``](#) * examples: * * `` * `` * : ## Operators * ` ()` (none) ## Remarks (none) * : ## See also (none) * [``](.md)