Type Syntax
©1998 Research Institute for Symbolic Computation (RISC-Linz)
NO WARRANTY
Package Description
This package contains syntax definitions for type expressions and type signatures.
Usage
Implementation
Begin
TypeOf
Input (MakeExpression)
Output (MakeBoxes)
FuncType
Input (MakeExpression)
Output (MakeBoxes)
Additional definition
End