next up previous contents index
Next: float Up: ExpressionTreeLeaf Previous: boolean   Contents   Index


doubleFloat


\begin{usage}
doubleFloat~a\\ doubleFloat?~a
\end{usage}

\begin{signatures}
doubleFloat: & \% $\to$\ \htmlref{\texttt{DoubleFloat}}{Dou...
...bleFloat?: & \% $\to$\ \htmlref{\texttt{Boolean}}{Boolean}\\\end{signatures}

\begin{params}
{\em a} & \% & A leaf\\
\end{params}

\begin{retval}
doubleFloat~a returns the value of $a$\ as a \htmlref{\texttt{D...
...texttt{DoubleFloat}}{DoubleFloat}, {\it false}\xspace ~otherwise.\end{retval}


Manuel Bronstein 2000-12-13