5.115.1 Abstract Types