Index - R
| Record | |
| 1 (Data Constructor) | Generics.SOP.Metadata, Generics.SOP |
| 2 (Data Constructor) | Generics.SOP.Type.Metadata |
| Rep | Generics.SOP.Universe, Generics.SOP |
| RightAssociative | Generics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP |
Index - R
| Record | |
| 1 (Data Constructor) | Generics.SOP.Metadata, Generics.SOP |
| 2 (Data Constructor) | Generics.SOP.Type.Metadata |
| Rep | Generics.SOP.Universe, Generics.SOP |
| RightAssociative | Generics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP |