We need to have a data structure that lets us represent a type, and
its relationship (conversion, subtyping) to other types.
This is what TypeNodes are for. They are linked into a graph that
can answer questions about how two types are related. It can find the
least general supertype, or most general subtype of two types.
We need to have a data structure that lets us represent a type, and its relationship (conversion, subtyping) to other types.
This is what TypeNodes are for. They are linked into a graph that can answer questions about how two types are related. It can find the least general supertype, or most general subtype of two types.