leaf

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

leaf

$\begin{usage} leaf~t\\ leaf?~t \end{usage}$

$\begin{signatures} leaf: & \% $\to$\ \htmlref{\texttt{ExpressionTreeLeaf}}{Exp... ...\\ leaf?: & \% $\to$\ \htmlref{\texttt{Boolean}}{Boolean}\\\end{signatures}$

$\begin{params} {\em t} & \% & An expression tree\\ \end{params}$

$\begin{retval} leaf~a returns $a$\ as a leaf is $a$\ is a leaf. leaf?~a returns {\it true}\xspace ~if a is a leaf, {\it false}\xspace ~otherwise.\end{retval}$

Manuel Bronstein 2000-12-13