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 |