de.fosd.typechef.typesystem
errors
compares with of two types.
compares with of two types. if this<that, this type can be converted (widened) to that
errors