Index - R
| Refl | Language.PTS.Term, Language.PTS |
| ReflNotEquality | Language.PTS.Error, Language.PTS |
| rule | Language.PTS.Specification, Language.PTS |
| runLoud | Language.PTS.Script, Language.PTS |
| runSilent | Language.PTS.Script, Language.PTS |
| runString | Language.PTS.Script, Language.PTS |