Im Zusammenhang mit Programmiersprachen, die Informationen über häufig vereinbarte Definitionen und Verwendungsmuster für Typen austauschen können.