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


predicate


\begin{usage}
predicate~$\sigma$ \end{usage}


Signature


\begin{params}
{\em$\sigma$} & \% & A partial function\\
\end{params}

\begin{retval}
Returns the predicate defining the domain of $\sigma$.
\end{retval}


See Also



Manuel Bronstein 2000-12-13