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 75–81

nativeFrameInitialize

Full file
75def nativeFrameInitialize =
76  (lambda unrestricted layout : (family RegionFrameLayout) .
77    (lambda unrestricted tail : (family NativePhysicalCommands) .
78      (frameNativeCopy
79        (frameExpectedAt layout)
80        (frameHeader layout)
81        (frameNativePhase layout (constructor NativeFramePhase NativeFrameUnissued) tail))))

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.