| Scanl | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Scanl' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTree | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeCopySetPoint | Jikka.CPlusPlus.Language.Expr |
| SegmentTreeCtor | Jikka.CPlusPlus.Language.Expr |
| SegmentTreeGetRange | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeGetRange' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeInitList | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeInitList' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeSetPoint | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeSetPoint' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemanticError | Jikka.Common.Error |
| semanticError | Jikka.Common.Error |
| Semicolon | Jikka.Python.Parse.Token |
| Semigroup' | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntGcd | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntLcm | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntMax | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntPlus | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| semigroupToType | Jikka.Core.Language.TypeCheck |
| Seq | Jikka.Common.IOFormat |
| sequence | Jikka.Common.Error |
| sequence_ | Jikka.Common.Error |
| Set | Jikka.Python.Language.Expr |
| SetAt | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SetAt' | Jikka.Core.Language.BuiltinPatterns |
| SetComp | Jikka.Python.Language.Expr |
| shouldBeArray | Jikka.CPlusPlus.Language.Util |
| SideEffectTy | Jikka.RestrictedPython.Language.Expr |
| SimpleAssign | Jikka.CPlusPlus.Language.Expr |
| simpleRewriteRule | Jikka.Core.Language.RewriteRules |
| size | Jikka.CPlusPlus.Language.Util |
| sizeOfMatrixTy | Jikka.Core.Language.Util |
| sizeOfVectorTy | Jikka.Core.Language.Util |
| Slice | Jikka.Python.Language.Expr |
| Snoc | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Snoc' | Jikka.Core.Language.BuiltinPatterns |
| solveEquations | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| solveVarName | Jikka.RestrictedPython.Language.Util |
| Sorted | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Sorted' | Jikka.Core.Language.BuiltinPatterns |
| sortEquations | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| Source | Jikka.Main |
| source | Jikka.Main |
| splitConstantFactorArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| splitToSumArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| standardBuiltinNames | Jikka.RestrictedPython.Language.Builtin |
| Starred | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Statement | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Statement' | Jikka.Python.Language.Expr |
| StaticAssert | Jikka.CPlusPlus.Language.Expr |
| StdGet | Jikka.CPlusPlus.Language.Expr |
| StdTuple | Jikka.CPlusPlus.Language.Expr |
| Store | Jikka.Python.Language.Expr |
| String | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| StringTy | Jikka.RestrictedPython.Language.Expr |
| Sub | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| SubAssign | Jikka.CPlusPlus.Language.Expr |
| subExp | Jikka.RestrictedPython.Language.WithoutLoc |
| Subscript | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| subscript | Jikka.RestrictedPython.Language.WithoutLoc |
| SubscriptSlice | Jikka.RestrictedPython.Language.Expr |
| SubscriptTrg | Jikka.RestrictedPython.Language.Expr |
| subscriptTrg | Jikka.RestrictedPython.Language.WithoutLoc |
| Subst | |
| 1 (Type/Class) | Jikka.Core.Convert.TypeInfer |
| 2 (Data Constructor) | Jikka.Core.Convert.TypeInfer |
| 3 (Type/Class) | Jikka.RestrictedPython.Convert.TypeInfer |
| 4 (Data Constructor) | Jikka.RestrictedPython.Convert.TypeInfer |
| subst | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| substDefault | Jikka.Core.Convert.TypeInfer |
| substitute | Jikka.Core.Language.Beta |
| substituteToplevelExpr | Jikka.Core.Language.Beta |
| substProgram | Jikka.Core.Convert.TypeInfer |
| Sum | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Sum' | Jikka.Core.Language.BuiltinPatterns |
| sumArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| SymbolError | Jikka.Common.Error |
| symbolError | Jikka.Common.Error |
| symbolErrorAt | Jikka.Common.Error |
| SyntaxError | Jikka.Common.Error |
| syntaxError | Jikka.Common.Error |
| syntaxErrorAt | Jikka.Common.Error |