| Range | Language.Clafer.Front.Absclafer |
| readC | Language.Clafer.Front.LayoutResolver |
| readCfrScopeFile | Language.Clafer.JSONMetaData |
| realType | Language.Clafer.Common |
| reason | Language.Clafer |
| reduceIExp | Language.Clafer.Intermediate.Desugarer |
| reduceNav | Language.Clafer.Intermediate.Desugarer |
| reducePExp | Language.Clafer.Intermediate.Desugarer |
| Ref | Language.Clafer.Intermediate.Analysis |
| ref | Language.Clafer.Common |
| Reference | Language.Clafer.Intermediate.ResolverName |
| refOf | Language.Clafer.Intermediate.Analysis |
| refsOf | Language.Clafer.Intermediate.Analysis |
| refType | Language.Clafer.Generator.Alloy |
| refUid | Language.Clafer.Intermediate.Analysis |
| relBinOps | Language.Clafer.Common |
| relGenBinOps | Language.Clafer.Common |
| relSetBinOps | Language.Clafer.Common |
| removeright | Language.Clafer.Generator.Alloy |
| remUnusedAbs | Language.Clafer.Optimizer.Optimizer |
| renameClafer | Language.Clafer.Intermediate.ResolverInheritance |
| renameClafer' | Language.Clafer.Intermediate.ResolverInheritance |
| render | Language.Clafer.Front.Printclafer |
| replicateS | Language.Clafer.Front.Printclafer |
| resLayout | Language.Clafer.Front.LayoutResolver |
| Resolve | Language.Clafer.Intermediate.ResolverName |
| resolve | |
| 1 (Function) | Language.Clafer.Front.LayoutResolver |
| 2 (Function) | Language.Clafer.Intermediate.ResolverName |
| resolveAncestor | Language.Clafer.Intermediate.ResolverName |
| resolveBind | Language.Clafer.Intermediate.ResolverName |
| resolveChildren | Language.Clafer.Intermediate.ResolverName |
| resolveChildren' | Language.Clafer.Intermediate.ResolverName |
| resolveClafer | Language.Clafer.Intermediate.ResolverName |
| resolveDescendants | Language.Clafer.Intermediate.ResolverName |
| resolveEClafer | Language.Clafer.Intermediate.ResolverInheritance |
| resolveEElement | Language.Clafer.Intermediate.ResolverInheritance |
| resolveEInheritance | Language.Clafer.Intermediate.ResolverInheritance |
| resolveElement | Language.Clafer.Intermediate.ResolverName |
| resolveEModule | Language.Clafer.Intermediate.ResolverInheritance |
| resolveIExp | Language.Clafer.Intermediate.ResolverName |
| resolveImmName | Language.Clafer.Intermediate.ResolverName |
| resolveLayout | Language.Clafer.Front.LayoutResolver |
| resolveLayout' | Language.Clafer.Front.LayoutResolver |
| resolveModule | Language.Clafer.Intermediate.Resolver |
| resolveModuleNames | Language.Clafer.Intermediate.ResolverName |
| resolveN | Language.Clafer.Intermediate.ResolverInheritance |
| resolveName | Language.Clafer.Intermediate.ResolverName |
| resolveNamesModule | Language.Clafer.Intermediate.Resolver |
| resolveNav | Language.Clafer.Intermediate.ResolverName |
| resolveNClafer | Language.Clafer.Intermediate.ResolverInheritance |
| resolveNElement | Language.Clafer.Intermediate.ResolverInheritance |
| resolveNModule | Language.Clafer.Intermediate.ResolverInheritance |
| resolveNone | Language.Clafer.Intermediate.ResolverName |
| resolveNSuper | Language.Clafer.Intermediate.ResolverInheritance |
| resolveOClafer | Language.Clafer.Intermediate.ResolverInheritance |
| resolveOElement | Language.Clafer.Intermediate.ResolverInheritance |
| resolveOModule | Language.Clafer.Intermediate.ResolverInheritance |
| resolveOSuper | Language.Clafer.Intermediate.ResolverInheritance |
| resolvePExp | Language.Clafer.Intermediate.ResolverName |
| resolveReference | Language.Clafer.Intermediate.ResolverName |
| resolveSpecial | Language.Clafer.Intermediate.ResolverName |
| resolveTModule | Language.Clafer.Intermediate.ResolverType |
| resolveTopLevel | Language.Clafer.Intermediate.ResolverName |
| resPath | Language.Clafer.Intermediate.ResolverName |
| Result | Language.Clafer.Common |
| resWords | Language.Clafer.Front.Lexclafer |
| returnM | Language.Clafer.Front.Parclafer |
| revertLayout | Language.Clafer.Front.LayoutResolver, Language.Clafer.Generator.Html |
| revertLayout' | Language.Clafer.Front.LayoutResolver |
| rootUid | Language.Clafer.Intermediate.Analysis |
| runAnalysis | Language.Clafer.Intermediate.Analysis |
| runAnalysisT | Language.Clafer.Intermediate.Analysis |
| runClafer | Language.ClaferT, Language.Clafer |
| runClaferT | Language.ClaferT, Language.Clafer |
| runListT_ | Language.Clafer.Intermediate.Analysis |