Index - R
| rational | Twee.Pretty, Twee.Base |
| rbrace | Twee.Pretty, Twee.Base |
| rbrack | Twee.Pretty, Twee.Base |
| recomputeGoals | Twee |
| reduceDoc | Twee.Pretty, Twee.Base |
| reduces | Twee.Rule |
| reducesInModel | Twee.Rule |
| reducesOriented | Twee.Rule |
| reducesSkolem | Twee.Rule |
| reducesWith | Twee.Rule |
| Reduction | Twee.Rule |
| reductionProof | Twee.Rule |
| Refl | Twee.Proof |
| renameAvoiding | Twee.Base |
| renameManyAvoiding | Twee.Base |
| render | Twee.Pretty, Twee.Base |
| renderStyle | Twee.Pretty, Twee.Base |
| repeatM | Twee.Utils |
| replace | Twee.Term, Twee.Base |
| replacePosition | Twee.Term, Twee.Base |
| replacePositionSub | Twee.Term, Twee.Base |
| reservoir | Twee.Utils |
| resetGoal | Twee |
| resetSample | Twee |
| rest | Twee.Term, Twee.Base |
| result | Twee.Rule |
| retract | Twee.Term, Twee.Base |
| reverseSubterms | Twee.Term, Twee.Base |
| reverseSubtermsList | Twee.Term, Twee.Base |
| rewrite | Twee.Rule |
| rewriteGoalsBackwards | Twee |
| rhs | Twee.Rule |
| ribbonsPerLine | Twee.Pretty, Twee.Base |
| rparen | Twee.Pretty, Twee.Base |
| Rule | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| Rule1 | Twee |
| Rule2 | Twee |
| ruleDerivation | Twee.Rule |
| RuleIndex | |
| 1 (Type/Class) | Twee.Rule.Index |
| 2 (Data Constructor) | Twee.Rule.Index |
| RuleOf | Twee.Rule |
| ruleProof | Twee.Rule |
| ruleResult | Twee.Rule |
| rules | Twee |
| rule_proof | Twee.Rule |