| Abs | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Abs' | Jikka.Core.Language.BuiltinPatterns |
| Add | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| AddAssign | Jikka.CPlusPlus.Language.Expr |
| addExp | Jikka.RestrictedPython.Language.WithoutLoc |
| additionalBuiltinNames | Jikka.RestrictedPython.Language.Builtin |
| AdHocNameHint | Jikka.Common.Name |
| Alias | Jikka.Python.Language.Expr |
| All | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| All' | Jikka.Core.Language.BuiltinPatterns |
| AllHint | Jikka.Core.Language.AssertedHint |
| alphaExpr | Jikka.Core.Language.QuasiRules |
| AlphaT | |
| 1 (Type/Class) | Jikka.Common.Alpha |
| 2 (Data Constructor) | Jikka.Common.Alpha |
| analyzeAssignExpr | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeExpr | |
| 1 (Function) | Jikka.CPlusPlus.Language.VariableAnalysis |
| 2 (Function) | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeLeftExpr | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatement | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatementGeneric | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementMax | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementMin | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatements | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatementsGeneric | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementsMax | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementsMin | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeTargetRead | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeTargetWrite | Jikka.RestrictedPython.Language.VariableAnalysis |
| And | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| And' | Jikka.Core.Language.BuiltinPatterns |
| AndOp | Jikka.Python.Parse.Token |
| AnnAssign | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Any | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Any' | Jikka.Core.Language.BuiltinPatterns |
| ap | Jikka.Common.Error |
| App | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App4 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin11 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin12 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin13 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin14 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin22 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin23 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Append | Jikka.RestrictedPython.Language.Expr |
| applyRewriteRule | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleProgram | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleProgram' | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleToplevelExpr | Jikka.Core.Language.RewriteRules |
| Arg | Jikka.Python.Language.Expr |
| ArgMax | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ArgMax' | Jikka.Core.Language.BuiltinPatterns |
| ArgMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ArgMin' | Jikka.Core.Language.BuiltinPatterns |
| argsArgs | Jikka.Python.Language.Expr |
| argsDefaults | Jikka.Python.Language.Expr |
| argsKwarg | Jikka.Python.Language.Expr |
| argsKwDefaults | Jikka.Python.Language.Expr |
| argsKwonlyargs | Jikka.Python.Language.Expr |
| argsPosonlyargs | Jikka.Python.Language.Expr |
| argsVarargs | Jikka.Python.Language.Expr |
| ArgumentNameHint | Jikka.Common.Name |
| Arguments | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| ArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| arithmeticExprFromModuloExpr | Jikka.Core.Language.ModuloExpr |
| arityOfBuiltin | Jikka.Core.Language.TypeCheck |
| ArrayExt | Jikka.CPlusPlus.Language.Expr |
| Arrow | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| As | Jikka.Python.Parse.Token |
| Assert | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr |
| 5 (Data Constructor) | Jikka.Python.Parse.Token |
| 6 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| AssertedHint | Jikka.Core.Language.AssertedHint |
| assertedHints | Jikka.Core.Language.RewriteRules |
| AssertionError | Jikka.Common.Error |
| assertionError | Jikka.Common.Error |
| Assign | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| assignAt | Jikka.CPlusPlus.Language.Util |
| AssignDecr | Jikka.CPlusPlus.Language.Expr |
| AssignExpr | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| AssignIncr | Jikka.CPlusPlus.Language.Expr |
| AssignOp | Jikka.CPlusPlus.Language.Expr |
| assignSimple | Jikka.CPlusPlus.Language.Util |
| Async | Jikka.Python.Parse.Token |
| AsyncFor | Jikka.Python.Language.Expr |
| AsyncFunctionDef | Jikka.Python.Language.Expr |
| AsyncWith | Jikka.Python.Language.Expr |
| At | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 4 (Data Constructor) | Jikka.Core.Parse.Token |
| at | Jikka.CPlusPlus.Language.Util |
| At' | Jikka.Core.Language.BuiltinPatterns |
| AtOp | Jikka.Python.Parse.Token |
| Attribute | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Attribute' | Jikka.RestrictedPython.Language.Expr |
| AttributeName | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| attributeNames | Jikka.RestrictedPython.Language.Builtin |
| AttributeVal | Jikka.RestrictedPython.Language.Value |
| AugAdd | Jikka.Python.Parse.Token |
| AugAssign | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| AugAt | Jikka.Python.Parse.Token |
| AugBitAnd | Jikka.Python.Parse.Token |
| AugBitLShift | Jikka.Python.Parse.Token |
| AugBitOr | Jikka.Python.Parse.Token |
| AugBitRShift | Jikka.Python.Parse.Token |
| AugBitXor | Jikka.Python.Parse.Token |
| AugCeilDiv | Jikka.Python.Parse.Token |
| AugCeilMod | Jikka.Python.Parse.Token |
| AugDiv | Jikka.Python.Parse.Token |
| AugFloorDiv | Jikka.Python.Parse.Token |
| AugFloorMod | Jikka.Python.Parse.Token |
| AugMax | Jikka.Python.Parse.Token |
| AugMin | Jikka.Python.Parse.Token |
| AugMul | Jikka.Python.Parse.Token |
| AugOp | |
| 1 (Data Constructor) | Jikka.Python.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Parse.Token |
| AugPow | Jikka.Python.Parse.Token |
| AugSub | Jikka.Python.Parse.Token |
| Await | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |