| R | PrettyPrint.Tables.Data_Lazy |
| R2 | PrettyPrint.Tables.Data_Lazy |
| RANGE | Language.VDM_SL.Syntax |
| RANGE_SET | Language.VDM_SL.Syntax |
| RAT | Language.VDM_SL.Syntax |
| RD | Language.VDM_SL.Syntax |
| RD_TYPE | Language.VDM_SL.Syntax |
| REAL |
| 1 (Data Constructor) | Language.VDM_SL.Syntax |
| 2 (Type/Class) | PrettyPrint.Tables.LrcPrelude |
| 3 (Type/Class) | PrettyPrint.XML.LrcPrelude |
| RECORD_E | Language.VDM_SL.Syntax |
| RECORD_MOD_L | Language.VDM_SL.Syntax |
| RECORD_MOD_S | Language.VDM_SL.Syntax |
| RECORD_S | Language.VDM_SL.Syntax |
| REF | Language.PLSql.Syntax |
| REM | Language.VDM_SL.Syntax |
| RHS | Language.ContextFree.Cfg |
| RHSExp | PrettyPrint.XML.Dot |
| RNG_RESTR_BY | Language.VDM_SL.Syntax |
| RNG_RESTR_TO | Language.VDM_SL.Syntax |
| Raise_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| RealCon | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Rebuild_item | Language.PLSql.Syntax |
| Rebuild_item_c1 | Language.PLSql.Syntax |
| Rebuild_item_c2 | Language.PLSql.Syntax |
| Rebuild_item_c3 | Language.PLSql.Syntax |
| Rebuild_item_c4 | Language.PLSql.Syntax |
| Rebuild_item_c5 | Language.PLSql.Syntax |
| Rebuild_items |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Record_modification_list | Language.VDM_SL.Syntax |
| Record_type_definition |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Recover_clause |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Recover_database_item | Language.PLSql.Syntax |
| Recover_database_item_c1 | Language.PLSql.Syntax |
| Recover_database_item_c2 | Language.PLSql.Syntax |
| Recover_database_item_c3 | Language.PLSql.Syntax |
| Recover_database_item_c4 | Language.PLSql.Syntax |
| Recover_item | Language.PLSql.Syntax |
| Recover_item_c1 | Language.PLSql.Syntax |
| Recover_item_c2 | Language.PLSql.Syntax |
| Recover_item_c3 | Language.PLSql.Syntax |
| Recover_item_c4 | Language.PLSql.Syntax |
| Recover_item_c5 | Language.PLSql.Syntax |
| Recover_item_c6 | Language.PLSql.Syntax |
| Reduce | Language.ContextFree.SLR |
| Ref | Language.Gnumeric.Formula |
| Ref_type_declaration |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Reference | PrettyPrint.XML.Dot |
| ReferenceType |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Referencing |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Referencing_item |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Referencing_items |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| RegExp | Language.HaLex.RegExp, Language.Halex |
| Rel | Data.Relation.SetOfPairs |
| Relational_operator | Language.PLSql.Syntax |
| Relational_operator_c1 | Language.PLSql.Syntax |
| Relational_operator_c2 | Language.PLSql.Syntax |
| Relational_operator_c3 | Language.PLSql.Syntax |
| Relational_operator_c4 | Language.PLSql.Syntax |
| Relational_operator_c5 | Language.PLSql.Syntax |
| Relational_operator_c6 | Language.PLSql.Syntax |
| Relational_operator_c7 | Language.PLSql.Syntax |
| Rename_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Renaming | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Renamings | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Resource_cost_item | Language.PLSql.Syntax |
| Resource_cost_item_c1 | Language.PLSql.Syntax |
| Resource_cost_item_c2 | Language.PLSql.Syntax |
| Resource_cost_item_c3 | Language.PLSql.Syntax |
| Resource_cost_item_c4 | Language.PLSql.Syntax |
| Resource_cost_items |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Restriction | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Restrictions | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| ReturnStatement |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Return_semicolon | Language.Java.Syntax |
| Return_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Return_type |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Reused_filename |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Reused_filenames |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Revoke_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Role |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Role_description | Language.PLSql.Syntax |
| Role_description_c1 | Language.PLSql.Syntax |
| Role_description_c2 | Language.PLSql.Syntax |
| Role_description_c3 | Language.PLSql.Syntax |
| Role_description_c4 | Language.PLSql.Syntax |
| Role_item | Language.PLSql.Syntax |
| Role_item_c1 | Language.PLSql.Syntax |
| Role_item_c2 | Language.PLSql.Syntax |
| Roles |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Rollback_segment_item | Language.PLSql.Syntax |
| Rollback_segment_item_c1 | Language.PLSql.Syntax |
| Rollback_segment_item_c2 | Language.PLSql.Syntax |
| Rollback_segment_item_c3 | Language.PLSql.Syntax |
| Rollback_segment_item_c4 | Language.PLSql.Syntax |
| Rollback_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Root | Language.ContextFree.Cfg |
| Row | PrettyPrint.Tables.Data_Lazy |
| Row2 | PrettyPrint.Tables.Data_Lazy |
| Row_clause |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Rows | PrettyPrint.Tables.Data_Lazy |
| Rows2 | PrettyPrint.Tables.Data_Lazy |
| re2DiGraph | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| re2DiGraph' | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| re2DiGraph'' | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| re2DiGraph''' | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| re2DiGraphIO | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| re2MDfa | Language.HaLex.Dfa2MDfa, Language.Halex |
| re2graphviz | Language.HaLex.RegExpAsDiGraph, Language.Halex |
| reach | Data.Relation.MapFromPairs |
| readConst | Text.ReadExtras |
| readConsts | Text.ReadExtras |
| readFileSearching | Language.Haskell.ChaseImports |
| readFile_FM | Camila.Prelude, Data.FiniteMapExtras |
| readFile_Set | Camila.Prelude, Data.SetExtras |
| readGnumeric | Language.Gnumeric.Parser |
| readHsFile | Language.Haskell.ChaseImports |
| readMatrix | Data.Relation.Read |
| readSeq | Text.ReadExtras |
| readSeqSep | Text.ReadExtras |
| readXml' | Language.Gnumeric.Parser |
| reason | Camila.Error, Camila.Prelude |
| reducing_its | Language.ContextFree.LR_0 |
| reflClose | Data.Relation.SetOfPairs |
| reflReduc | Data.Relation.SetOfPairs |
| reflTransClose | Data.Relation.SetOfPairs |
| regExp2Dfa | Language.HaLex.RegExp2Fa, Language.Halex |
| regExp2Ndfa | Language.HaLex.RegExp2Fa, Language.Halex |
| regExp2Ndfa' | Language.HaLex.RegExp2Fa, Language.Halex |
| regExpFromTo | Language.HaLex.Fa2RegExp |
| rejP | Language.Sdf.Metrics.Ambiguity |
| rel | Data.Relation.MapFromPairs |
| removeSelfEdges | Data.Relation.SetOfPairs |
| renameDfa | Language.HaLex.Dfa, Language.Halex |
| renameNdfa | Language.HaLex.Ndfa, Language.Halex |
| renderSDF | Language.Sdf.Pretty, Language.Sdf.SdfLib |
| renderSdf | Language.Sdf.Pretty, Language.Sdf.SdfLib |
| renderSdfMode | Language.Sdf.Pretty, Language.Sdf.SdfLib |
| repeatCHAR |
| 1 (Function) | PrettyPrint.Tables.LrcPrelude |
| 2 (Function) | PrettyPrint.XML.LrcPrelude |
| repeatUntilFixpoint | Data.Relation.TypeInference |
| resolveWithImportMap | Language.Java.Util |
| reverseATerm | Language.ContextFree.Semantics |
| reverseContents | Language.ContextFree.Semantics |
| reverseDfa | Language.HaLex.Minimize, Language.Halex |
| reverseDfaAsDfa | Language.HaLex.Minimize, Language.Halex |
| reverseFa | Language.HaLex.FaClasses, Language.Halex |
| reverseNdfa | Language.HaLex.Minimize, Language.Halex |
| rhs_nt | Language.ContextFree.Cfg |
| rhs_prod | Language.ContextFree.Cfg |
| rhs_with_nt | Language.ContextFree.Cfg |
| rightPages | Camila.Examples.Folder |
| rng |
| 1 (Function) | Data.Relation.SetOfPairs |
| 2 (Function) | Language.VDM_SL.AuxFuncLib |
| rngFM | Camila.Prelude, Data.FiniteMapExtras |
| rngWith | Data.Relation.SetOfPairs |
| robot | Language.HaLex.DfaMonad |
| robotM | Language.HaLex.Examples.Robot |
| robotM2 | Language.HaLex.Examples.Robot |
| root |
| 1 (Function) | Language.ContextFree.Cfg |
| 2 (Function) | Language.ContextFree.CfgM |
| rowNr | Language.Gnumeric.Formula |
| rowToRel | Data.Relation.Read |
| ruleDeps | Language.Sdf.FlowGraph |
| runAccept_pr | Language.HaLex.DfaMonad |
| runDfa | Language.HaLex.DfaMonad |
| runError | Camila.Error, Camila.Prelude |
| runInstance | Camila.Prelude, Camila.State |
| runMO | Debug.Observe |
| runMetrics | Language.Haskell.Metrics |
| runO | Debug.Observe |
| runTestsTT | Debug.HUnitExtras |
