Index - R
| rcons | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| RE | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Type/Class) | KleenePlugin.Types |
| REInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| reInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| reInductionP | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| REList | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rfst | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rleft | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rnil | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rpair | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rright | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rsnd | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rstar | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rsum | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| runSWT | KleenePlugin.SWT |
| rval | Kleene.Type, Kleene.Type.Examples.KleeneSH |