Index - R
| Ref | |
| 1 (Data Constructor) | U.Codebase.Type |
| 2 (Data Constructor) | U.Codebase.Referent |
| 3 (Data Constructor) | U.Codebase.Term |
| Referent | U.Codebase.Referent |
| Referent' | U.Codebase.Referent |
| ReferentH | U.Codebase.Referent |
| RefId | U.Codebase.Referent |
| refs_ | U.Codebase.Referent |
| RegularWatch | U.Codebase.WatchKind |
| Replace | |
| 1 (Data Constructor) | U.Codebase.TermEdit |
| 2 (Data Constructor) | U.Codebase.TypeEdit |
| Request | U.Codebase.Term |
| rmap | |
| 1 (Function) | U.Codebase.Type |
| 2 (Function) | U.Codebase.Decl |
| rmapM | U.Codebase.Type |
| rmapPattern | U.Codebase.Term |
| rmapPatternM | U.Codebase.Term |