de.fosd.typechef.typesystem
xml reader
checks whether two (function) types are compatbile and can be linked together
xml reader