SumitType

Next: extree Up: Basic Categories Previous: specialization Contents Index

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

$\begin{descr} SumitType~is the category of basic $\Sigma{}^{{\rm it}}$\xspace types. \end{descr}$

Exports

Manuel Bronstein 2000-12-13

`OutputType`
`PrimitiveType`
`extree`:	% $\to$ `ExpressionTree`	Conversion to an expression tree
`relativeSize`:	% $\to$ `MachineInteger`	Complexity measure