Subst. (type declaration) Eine Deklaration in einem Programm, mit der die Eigenschaften eines neuen Datentyps festgelegt werden. Dies geschieht in der Regel durch Kombinieren aus bereits vorhandenen, einfacheren Datentypen. Gefunden auf https://www.enzyklo.de/Lokal/40099
Subst. (type declaration) Eine Deklaration in einem Programm, mit der die Eigenschaften eines neuen Datentyps festgelegt werden. Dies geschieht in der Regel durch Kombinieren aus bereits vorhandenen, einfacheren Datentypen.