Index - A
| allVars | U.Codebase.Decl |
| And | U.Codebase.Term |
| Ann | |
| 1 (Data Constructor) | U.Codebase.Type |
| 2 (Data Constructor) | U.Codebase.Term |
| App | |
| 1 (Data Constructor) | U.Codebase.Type |
| 2 (Data Constructor) | U.Codebase.Term |
| Arrow | |
| 1 (Data Constructor) | U.Codebase.Kind |
| 2 (Data Constructor) | U.Codebase.Type |