AlphaGitHub
Source/Packages

Runtime.NativeTelemetryValue

packages/execution/src/Runtime/NativeTelemetryValue.alpha

156 lines10 declarations5.1 KiBSHA-256 fe96a5e150c4
Download exact fileView at revision426597bda5753d86c4

def · lines 29–40

valueX86JumpIf

Full file
29def valueX86JumpIf =
30  (lambda unrestricted condition : (family TelemetryValueCondition) .
31    (digestJumpIf
32      (eliminate
33        TelemetryValueCondition
34        (lambda unrestricted current : (family TelemetryValueCondition) .
35          (family X86NativeCondition))
36        condition
37        (branch TelemetryValueZero . (constructor X86NativeCondition X86NativeConditionZero))
38        (branch TelemetryValueNotZero . (constructor X86NativeCondition X86NativeConditionNotZero))
39        (branch TelemetryValueBelow . (constructor X86NativeCondition X86NativeConditionBelow))
40        (branch TelemetryValueAbove . (constructor X86NativeCondition X86NativeConditionAbove)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.