Вопрос: Что представляет собой реализация типа?
Ответ: многовходовой программный модуль, точки входа которого соответствуют набору операций реализуемого типа.