de.fosd.typechef.typesystem
zero is a special type for the constant 0 that is all: a function and an integer and a pointer
compares with of two types.
compares with of two types. if this<that, this type can be converted (widened) to that
zero is a special type for the constant 0 that is all: a function and an integer and a pointer