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.

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr1.gif]

Usage

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr3.gif]

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr4.gif]

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr5.gif]

Implementation

Begin

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr6.gif]

TypeOf

Input (MakeExpression)

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr7.gif]
Output (MakeBoxes)

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr8.gif]

FuncType

Input (MakeExpression)

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr9.gif]
Output (MakeBoxes)

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr10.gif]
Additional definition 

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr11.gif]

End

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr12.gif]

[Graphics:TypeSyntaxgr2.gif][Graphics:TypeSyntaxgr13.gif]