- compatible
- isSubType
- allCompatible
Compare two type lists for placewise compatibility. This is used to check
ordered lists of types suc
- allSubTypes
Compare two type lists for placewise subtype compatibility. This is used to
check ordered lists of t
- checkComposeTypes
Check that the compose types that are referred to in a type have a matching
definition in the enviro
- intersect
Calculate the intersection of two types.
- narrowest
- searchCompatible
Search the #done vector for an existing comparison of two types before either
returning the previous
- searchSubType
Search the #done vector for an existing subtype comparison of two types before
either returning the
- subtest
The main implementation of the subtype checker. If "a" and "b" are the same
object the result is "ye
- test
The main implementation of the compatibility checker. If "a" and "b" are the
same object the result