Package wytp.types

Interface Summary

Interface	Description
SubtypeOperator	Represents the subtype operation over types.
TypeExtractor<T,S>
TypeInferer	Responsible for inferring the type for a given expression.
TypeInferer.Environment	The typing environment determines the current type for all variables at a given point.
TypeRewriter	Responsible for rewriting a given type in some way whilst maintaining semantic equivalence.

Class Summary

Class	Description
TypeSystem

Enum Summary

Enum	Description
SubtypeOperator.Result