extree

Next: is? Up: ExpressionTree Previous: arguments Contents Index

extree

$\begin{usage} extree~a \end{usage}$

Signature

extree: ExpressionTreeLeaf $\to$ %

$\begin{params} {\em a} & \htmlref{\texttt{ExpressionTreeLeaf}}{ExpressionTreeLeaf} & A leaf\\ \end{params}$

$\begin{retval} extree~a returns $a$\ as an expression tree. \end{retval}$

Manuel Bronstein 2000-12-13