engl.: module
Vereinfachend gehen wir davon aus, dass ein Baustein durch eine oder mehrere Typdeklarationen realisiert ist. Die Schnittstelle eines Bausteins entspricht der öffentlichen Schnittstelle dieser Typen.
Wir betrachten drei Arten von Bausteinen: