A Jump Inversion Theorem for the Enumeration Jump
10. Enumerations and Enumeration Attributes
Enumeration types