AlphaGitHub
Source/Packages

Runtime.NativeProtocol

packages/execution/src/Runtime/NativeProtocol.alpha

446 lines17 declarations22.3 KiBSHA-256 5f3a02d1b9cf
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 41–50

nativeProtocolDecisionSource

Full file
41def nativeProtocolDecisionSource =
42  (lambda erased decision : Type 0 .
43    (lambda erased payload : Type 0 .
44      (lambda unrestricted binding : (family NativeProtocolDecisionBinding decision payload) .
45        (eliminate
46          NativeProtocolDecisionBinding
47          (lambda unrestricted current : (family NativeProtocolDecisionBinding decision payload) .
48            (pi unrestricted selector : decision . (family NativePhysicalOperand)))
49          binding
50          (branch NativeProtocolDecisionBindingOf source state scratch frame . source)))))

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.