Index - R
| rational | Twee.Pretty, Twee.Base |
| rbrace | Twee.Pretty, Twee.Base |
| rbrack | Twee.Pretty, Twee.Base |
| recomputeGoals | Twee |
| reduce | Twee.Rule |
| reduceDoc | Twee.Pretty, Twee.Base |
| reduces | Twee.Rule |
| reducesInModel | Twee.Rule |
| reducesOriented | Twee.Rule |
| reducesSkolem | Twee.Rule |
| reducesWith | Twee.Rule |
| Reduction | Twee.Rule |
| reduction | Twee.Rule |
| reductionProof | Twee.Rule |
| Refl | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| removeMin | Twee.PassiveQueue |
| renameAvoiding | Twee.Base |
| render | Twee.Pretty, Twee.Base |
| renderStyle | Twee.Pretty, Twee.Base |
| repeatM | Twee.Utils |
| replacePosition | Twee.Term, Twee.Base |
| replacePositionSub | Twee.Term, Twee.Base |
| result | Twee.Rule |
| Resulting | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| retract | Twee.Term, Twee.Base |
| rewrite | Twee.Rule |
| rhs | Twee.Rule |
| ribbonsPerLine | Twee.Pretty, Twee.Base |
| rparen | Twee.Pretty, Twee.Base |
| Rule | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| RuleId | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| RuleIndex | |
| 1 (Type/Class) | Twee.Rule.Index |
| 2 (Data Constructor) | Twee.Rule.Index |
| RuleOf | Twee.Rule |
| rules | Twee |
| rule_active | Twee |
| rule_depth | Twee |
| rule_positions | Twee |
| rule_proof | Twee |
| rule_rid | Twee |
| rule_rule | Twee |