| Call | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| call | Jikka.RestrictedPython.Language.WithoutLoc |
| Call' | Jikka.CPlusPlus.Language.Util |
| Callable | Jikka.CPlusPlus.Language.Expr |
| CallableTy | Jikka.RestrictedPython.Language.Expr |
| callFunction | Jikka.CPlusPlus.Language.Util |
| callFunction' | Jikka.CPlusPlus.Language.Util |
| callMethod | Jikka.CPlusPlus.Language.Util |
| callMethod' | Jikka.CPlusPlus.Language.Util |
| callProgram | Jikka.Core.Evaluate |
| Cast | Jikka.CPlusPlus.Language.Expr |
| cast | Jikka.CPlusPlus.Language.Util |
| catchError | Jikka.Common.Error |
| catchError' | Jikka.Common.Error |
| CeilDiv | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| 3 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| ceilDiv | Jikka.Core.Language.Runtime |
| CeilDiv' | Jikka.Core.Language.BuiltinPatterns |
| CeilMod | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| 3 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| ceilMod | Jikka.Core.Language.Runtime |
| CeilMod' | Jikka.Core.Language.BuiltinPatterns |
| Choose | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| choose | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| Choose' | Jikka.Core.Language.BuiltinPatterns |
| cinStatement | Jikka.CPlusPlus.Language.Util |
| Class | Jikka.Python.Parse.Token |
| ClassDef | Jikka.Python.Language.Expr |
| CloseBrace | Jikka.Python.Parse.Token |
| CloseBracket | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| CloseParen | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| ClosureVal | Jikka.RestrictedPython.Language.Value |
| CmpOp | |
| 1 (Type/Class) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| 3 (Type/Class) | Jikka.Python.Parse.Token |
| CmpOp' | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Code | Jikka.CPlusPlus.Format |
| Colon | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Color | Jikka.Common.Format.Color |
| ColorFlag | Jikka.Common.Format.Color |
| column | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| Comma | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| CommandLineError | Jikka.Common.Error |
| commandLineError | Jikka.Common.Error |
| Compare | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| compareValues | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| compareValues' | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| compIfs | Jikka.Python.Language.Expr |
| compIter | Jikka.Python.Language.Expr |
| Comprehension | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| compTarget | Jikka.Python.Language.Expr |
| Cond | Jikka.CPlusPlus.Language.Expr |
| Cons | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Cons' | Jikka.Core.Language.BuiltinPatterns |
| Constant | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| 4 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| ConstantNameHint | Jikka.Common.Name |
| ConstBool | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| constBoolExp | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstBuiltin | Jikka.RestrictedPython.Language.Expr |
| constBuiltinExp | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstBytes | Jikka.Python.Language.Expr |
| ConstFloat | Jikka.Python.Language.Expr |
| ConstImaginary | Jikka.Python.Language.Expr |
| ConstInt | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| constIntExp | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstNone | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| ConstString | Jikka.Python.Language.Expr |
| Continue | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| convertGreaterToLess | Jikka.Core.Convert.EqualitySolving |
| ConvexHullTrick | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickCopyAddLine | Jikka.CPlusPlus.Language.Expr |
| ConvexHullTrickCtor | Jikka.CPlusPlus.Language.Expr |
| ConvexHullTrickGetMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickGetMin' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickInit | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickInit' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickInsert | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickInsert' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| CoreTarget | Jikka.Main.Target |
| coutStatement | Jikka.CPlusPlus.Language.Util |
| CPlusPlusTarget | Jikka.Main.Target |
| curryApp | Jikka.Core.Language.Util |
| curryFunTy | Jikka.Core.Language.Util |
| curryLam | Jikka.Core.Language.Util |
| Cyan | Jikka.Common.Format.Color |