de.fosd.typechef.typesystem
first attempt to infer the interface of a C file for linker checks
describes the linker interface for a file, i.
signature with name type and condition.
linking can be strict or less strict on what it considers a match to an import.