next up previous contents index
Next: coefficient Up: FiniteFreeModule Previous: add!   Contents   Index


apply


\begin{usage}
apply(p, t)\\ p~t\\ apply(port, p, x)\\ port(p, x)
\end{usage}

\begin{signatures}
apply: & (\%, \htmlref{\texttt{ExpressionTree}}{ExpressionT...
...{Symbol}) $\to$\ \htmlref{\texttt{TextWriter}}{TextWriter}\\\end{signatures}

\begin{params}
{\em p} & \% & An element of the type\\
{\em t} & \htmlref{\te...
...} & \htmlref{\texttt{TextWriter}}{TextWriter} & An output port\\\end{params}

\begin{retval}
apply(p, t) returns p as an expression tree, using t as root va...
... x as root variable name,
and returns the output port afterwards.\end{retval}


Manuel Bronstein 2000-12-13