--------
.. index:: single:
.. _:
.. rst-class:: right
****
````
* ```` -
.. contents::
:local:
:backlinks: top
| **Availability:**
| ````
| **Author:**
| **Version:**
| **Date:**
| **Copyright:**
| **License:**
| **Compilation flags:**
| ````
| **:**
| **Implements:**
| **Imports:**
| **Extends:**
| **Instantiates:**
| **Specializes:**
| **Complements:**
| **Provides:**
| **Uses:**
| **Aliases:**
| **Dependencies:**
| (none)
| :ref:`
::
<>`
| :ref:`
<>`
| ```` ```` as ````
| :ref:`
<>`
| ```` :ref:`
<>`
| **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)
:ref:`
::
`
.. index::
.. _:::
````
| **Compilation flags:**
| ````
| **Template:**
| ````
| ```` -
| **Meta-predicate template:**
| ````
| **Coinduction template:**
| ````
| **Mode and number of proofs:**
| ```` - ````
| **Exceptions:**
| :
| ````
| **Remarks:**
- :
| **Since:**
| ````
| **See also:**
| :ref:`::`
| **Examples:**
|
| ````
| ````
| **:**
|
------------
Operators
---------
````
| **Scope:**
| ````
(none)
| **Remarks:**
| (none)
- :
.. seealso::
:ref:`
<>`
,