| sameAs | Language.Clafer.Intermediate.Analysis |
| schema | Language.Clafer.ClaferArgs, Language.Clafer |
| SClafer | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Analysis |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Analysis |
| sClafers | Language.Clafer.Common |
| sclafers | Language.Clafer.Intermediate.Analysis |
| scopesList | Language.Clafer |
| ScopeStrategy | Language.Clafer.ClaferArgs, Language.Clafer |
| scope_strategy | Language.Clafer.ClaferArgs, Language.Clafer |
| select | Language.Clafer.Intermediate.Analysis |
| selectChildren | Language.Clafer.Intermediate.ResolverName |
| self_contained | Language.Clafer.ClaferArgs, Language.Clafer |
| SemanticErr | Language.ClaferT |
| SEnv | |
| 1 (Type/Class) | Language.Clafer.Intermediate.ResolverName |
| 2 (Data Constructor) | Language.Clafer.Intermediate.ResolverName |
| setBinOps | Language.Clafer.Common |
| SetExp | Language.Clafer.Front.Absclafer |
| sglCard | Language.Clafer.Generator.Stats |
| share | Language.Clafer.Front.Lexclafer |
| showPath | Language.Clafer.Intermediate.ResolverName |
| showSet | Language.Clafer.Generator.Alloy |
| show_references | Language.Clafer.ClaferArgs, Language.Clafer |
| sident | Language.Clafer.Intermediate.Intclafer |
| Simple | Language.Clafer.ClaferArgs, Language.Clafer |
| simpleScopeAnalysis | Language.Clafer.Intermediate.SimpleScopeAnalyzer |
| skip_goals | Language.Clafer.ClaferArgs, Language.Clafer |
| skip_resolver | Language.Clafer.ClaferArgs, Language.Clafer |
| snd3 | Language.Clafer.Common |
| SoftConstraint | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer |
| Span | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer, Language.ClaferT |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer, Language.ClaferT |
| Spannable | Language.Clafer.Front.Absclafer |
| Special | Language.Clafer.Intermediate.ResolverName |
| specialNames | Language.Clafer.Common |
| split' | Language.Clafer.Optimizer.Optimizer |
| splitArgs | Language.Clafer.SplitJoin |
| srcPos | Language.Clafer.Generator.Alloy |
| SSuper | Language.Clafer.Intermediate.Analysis |
| stable | Language.Clafer.Common |
| statistics | Language.Clafer |
| Stats | |
| 1 (Type/Class) | Language.Clafer.Generator.Stats |
| 2 (Data Constructor) | Language.Clafer.Generator.Stats |
| statsCard | Language.Clafer.Generator.Stats |
| statsClafer | Language.Clafer.Generator.Stats |
| statsElement | Language.Clafer.Generator.Stats |
| statsModule | Language.Clafer.Generator.Stats |
| stringMap | Language.Clafer |
| strType | Language.Clafer.Common |
| Subclafer | Language.Clafer.Front.Absclafer |
| Subclafers | Language.Clafer.Intermediate.ResolverName |
| subClafers | |
| 1 (Function) | Language.Clafer.Intermediate.Analysis |
| 2 (Function) | Language.Clafer.Intermediate.ResolverName |
| Subconstraint | Language.Clafer.Front.Absclafer |
| Subgoal | Language.Clafer.Front.Absclafer |
| Subsoftconstraint | Language.Clafer.Front.Absclafer |
| suchThat | Language.Clafer.Intermediate.Analysis |
| sugarAbstract | Language.Clafer.Intermediate.Desugarer |
| sugarCard | Language.Clafer.Intermediate.Desugarer |
| sugarClafer | Language.Clafer.Intermediate.Desugarer |
| sugarConstraint | Language.Clafer.Intermediate.Desugarer |
| sugarDecl | Language.Clafer.Intermediate.Desugarer |
| sugarDeclaration | Language.Clafer.Intermediate.Desugarer |
| sugarElement | Language.Clafer.Intermediate.Desugarer |
| sugarElements | Language.Clafer.Intermediate.Desugarer |
| sugarExInteger | Language.Clafer.Intermediate.Desugarer |
| sugarExp | Language.Clafer.Intermediate.Desugarer |
| sugarExp' | Language.Clafer.Intermediate.Desugarer |
| sugarGCard | Language.Clafer.Intermediate.Desugarer |
| sugarGoal | Language.Clafer.Intermediate.Desugarer |
| sugarInitHow | Language.Clafer.Intermediate.Desugarer |
| sugarLocId | Language.Clafer.Intermediate.Desugarer |
| sugarModId | Language.Clafer.Intermediate.Desugarer |
| sugarModule | Language.Clafer.Intermediate.Desugarer |
| sugarQuant | Language.Clafer.Intermediate.Desugarer |
| sugarSetExp | Language.Clafer.Intermediate.Desugarer |
| sugarSetExp' | Language.Clafer.Intermediate.Desugarer |
| sugarSoftConstraint | Language.Clafer.Intermediate.Desugarer |
| sugarSuper | Language.Clafer.Intermediate.Desugarer |
| sugarSuperHow | Language.Clafer.Intermediate.Desugarer |
| Super | Language.Clafer.Front.Absclafer |
| super | |
| 1 (Function) | Language.Clafer.Intermediate.Intclafer |
| 2 (Function) | Language.Clafer.Intermediate.Analysis |
| SuperArrow | Language.Clafer.Front.Absclafer |
| superClafers | Language.Clafer.Intermediate.Analysis |
| SuperColon | Language.Clafer.Front.Absclafer |
| SuperEmpty | Language.Clafer.Front.Absclafer |
| SuperHow | Language.Clafer.Front.Absclafer |
| SuperMArrow | Language.Clafer.Front.Absclafer |
| supers | Language.Clafer.Intermediate.Intclafer |
| SuperSome | Language.Clafer.Front.Absclafer |
| syntaxOf | Language.Clafer.Intermediate.Analysis |