next up previous contents index
Next: specialization Up: Basic Categories Previous: random   Contents   Index


Specializable


\begin{usage} Specializable: Category \end{usage}

\begin{descr} Specializable~is the category of specializable types. \end{descr}


Exports


Subsections
Manuel Bronstein 2000-12-13