Index

ApplyLogicTemplate, for IsRecord 1.10-5
ApplyLogicTemplateNTimes, for IsPosInt, IsRecord 1.10-6
AssertLemma 1.10-7
AssertProposition 1.10-10
AttestValidInputs 1.10-4
CapJitAddBinding 2.4-13
CapJitAddLogicFunction 2.1-1
CapJitAddLogicTemplate 2.1-2
CapJitAppliedCompilerHints 2.5-2
CapJitAppliedLogic 2.5-17
CapJitAppliedLogicTemplates 2.5-18
CapJitCleanedUpHoistedAndDeduplicatedExpressions 2.5-1
CapJitCompiledCAPOperationAsEnhancedSyntaxTree 1.5-1
CapJitCompiledFunction 1.5-2
CapJitCompiledFunctionAsEnhancedSyntaxTree 1.5-3
CapJitContainsRefToFVAROutsideOfFuncStack 2.4-4
CapJitCopyWithNewFunctionIDs 2.4-11
CapJitDataTypeIsNestedListOfSimpleLiterals 2.4-18
CapJitDeduplicatedExpressions 2.5-5
CapJitDisableDataTypeInference 1.8-1
CapJitDisableProofAssistantMode 1.10-1
CapJitDisableStepByStepCompilation 1.9-1
CapJitDroppedHandledEdgeCases 2.5-6
CapJitDroppedUnusedBindings 2.5-7
CapJitEnableDataTypeInference 1.8-1
CapJitEnableProofAssistantMode 1.10-1
CapJitEnableStepByStepCompilation 1.9-1
CapJitFindNodeDeep 2.4-6
CapJitFindNodes 2.4-7
CapJitGetNextUnusedVariableID 2.4-17
CapJitGetNodeByPath 2.4-8
CapJitGetOrCreateGlobalVariable 2.4-5
CapJitHoistedBindings 2.5-9
CapJitHoistedExpressions 2.5-8
CapJitInferredDataTypes 2.5-10
CapJitInlinedArguments 2.5-11
CapJitInlinedBindings 2.5-12
CapJitInlinedBindingsFully 2.5-14
CapJitInlinedBindingsToVariableReferences 2.5-13
CapJitInlinedFunctionCalls 2.5-15
CapJitInlinedSimpleFunctionCalls 2.5-16
CapJitIsCallToGlobalFunction 2.4-2
CapJitIsEqualForEnhancedSyntaxTrees 2.4-12
CapJitIterateOverTree 2.3-1
CapJitIterateOverTreeWithCachedBindingResults 2.3-2
CapJitOutlinedWrappedArguments 2.5-19
CapJitPrecompileCategory 1.4-1
CapJitPrecompileCategoryAndCompareResult 1.4-2
CapJitPrettyPrintFunction 2.4-10
CapJitPrettyPrintSyntaxTree 2.4-1
CapJitRemovedReturnFail 2.4-9
CapJitReplacedEXPR_REF_FVARByValue 2.4-16
CapJitReplacedGlobalVariablesByCategoryAttributes 2.5-3
CapJitReplacedSourceAndRangeAttributes 2.5-4
CapJitResolvedGlobalVariables 2.5-20
CapJitResolvedOperations 2.5-21
CapJitResultFuncCombineChildren 2.4-3
CapJitSetDebugLevel 1.11-2
CapJitUnbindBinding 2.4-15
CapJitValueOfBinding 2.4-14
ConcatenationOfStringsAsEnumerationWithAnd 2.4-23
ContinueCompilationAtCategory 1.7-2
ContinueCompilationAtPrimitivelyInstalledOperationsOfCategory 1.7-4
DisplayWithCurrentlyCompiledFunctionLocation 2.4-20
ENHANCED_SYNTAX_TREE 2.2-1
ENHANCED_SYNTAX_TREE_CODE 2.2-2
ErrorWithCurrentlyCompiledFunctionLocation 2.4-21
EvalStringStrict 2.4-22
InfoCapJit 1.11-1
PrintLemma 1.10-3
PrintWithCurrentlyCompiledFunctionLocation 2.4-19
StateLemma, for IsString, IsFunction, IsCapCategory, IsList, IsList 1.10-2
StateNextLemma 1.10-9
StateProposition, for IsCapCategory, IsString 1.10-8
StopCompilationAtCategory 1.7-1
StopCompilationAtPrimitivelyInstalledOperationsOfCategory 1.7-3