Type System Demo

The applet below illustrates the types of the ports as they are updated during type resolution.

The type constraints are: To see some illustrations of how type resolution works, try the following: