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 63–72

nativeProtocolDecisionScratch

Full file
63def nativeProtocolDecisionScratch =
64  (lambda erased decision : Type 0 .
65    (lambda erased payload : Type 0 .
66      (lambda unrestricted binding : (family NativeProtocolDecisionBinding decision payload) .
67        (eliminate
68          NativeProtocolDecisionBinding
69          (lambda unrestricted current : (family NativeProtocolDecisionBinding decision payload) .
70            Nat)
71          binding
72          (branch NativeProtocolDecisionBindingOf source state scratch frame . scratch)))))

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.