addNewcase!

Next: coerce Up: Case Previous: Case Contents Index

addNewcase!

$\begin{usage} addNewcase!~(a,c) \end{usage}$

Signature

addNewcase!: If(C,O) $\to$ %

$\begin{params} {\em a} & \% & a set of conditional objects\\ {\em c} & \htmlref{\texttt{If}}{If}(C,O) & a conditional object.\\ \end{params}$

$\begin{descr} Add $c$\ to set $a$\ (in--place). $c$\ is not added if its condition is \htmlref{\texttt{Never}}{Condition:Never}. \end{descr}$

Manuel Bronstein 2000-12-13