Condition

Next: Always,Never Up: Conditions Previous: join! Contents Index

$\begin{usage} Condition: Category \end{usage}$

$\begin{descr} Condition~is a category for conditions on parameters. \end{descr}$

Exports

`BooleanArithmeticType`
`CopyableType`
`SumitType`
`Always`:	$\to$ %	a condition which is always satisfied
`always?`:	% $\to$ `Boolean`	test is a condition is `Always`
`Never`:	$\to$ %	a condition which is never satisfied
`never?`:	% $\to$ `Boolean`	test is a condition is `Never`

Manuel Bronstein 2000-12-13