de.fosd.typechef.typesystem
CIgnore is a type for stuff we currently do not want to check it can be cast to anything and is not considered an error
compares with of two types.
compares with of two types. if this<that, this type can be converted (widened) to that
CIgnore is a type for stuff we currently do not want to check it can be cast to anything and is not considered an error