next up previous contents index
Next: PartialFunction Up: IndexedVariable Previous: index   Contents   Index


variable


\begin{usage}
variable~s
\end{usage}


Signature


\begin{params}
{\em s} & S & An index\\
\end{params}

\begin{retval}
Returns the variable $x_s$.
\end{retval}


Manuel Bronstein 2000-12-13