Package wyil.util.type

Class Summary

Class	Description
BinaryTypeWriter	A BinaryWriter will write types to a binary output stream.
ExplicitCoercionOperator	The explicit coercion operator extends the implicit coercion operator to include coercions which must be specified with an explicit cast operation.
LifetimeRelation	This relation tracks the partial order among lifetimes.
SubtypeOperator	The subtype operator implements the algorithm for determining whether or not one type is a subtype of another.
TypeAlgorithms	Contains various important algorithms for manipulating types.
TypeParser	The Type Parser is used to convert a given string into a type (or a syntax error).