AlphaGitHub
Source/Packages

Runtime.NativeRegionFrame

packages/execution/src/Runtime/NativeRegionFrame.alpha

321 lines25 declarations13.0 KiBSHA-256 62648683cf5f
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 35–45

nativeFramePhaseCode

Full file
35def nativeFramePhaseCode =
36  (lambda unrestricted phase : (family NativeFramePhase) .
37    (eliminate
38      NativeFramePhase
39      (lambda unrestricted p : (family NativeFramePhase) . Nat)
40      phase
41      (branch NativeFrameUnissued . 0)
42      (branch NativeFrameActive . 1)
43      (branch NativeFrameValidated . 2)
44      (branch NativeFrameConsumed . 3)
45      (branch NativeFrameSent . 4)))

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.