AlphaGitHub
Source/Packages

Runtime.NativeCombine

packages/execution/src/Runtime/NativeCombine.alpha

874 lines55 declarations36.9 KiBSHA-256 10cc50beeee8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 282–290

nativeCombineLayoutAt

Full file
282def nativeCombineLayoutAt =
283  (lambda unrestricted bytes : Nat .
284    (lambda unrestricted identity : (family RegionTransferIdentity) .
285      (lambda unrestricted base : Nat .
286        (stdResultValueOr
287          (family RegionFrameLayoutFailure)
288          (family RegionFrameLayout)
289          (constructor RegionFrameLayout RegionFrameLayoutOf b"" 0 0 b"")
290          (planRegionFrameLayout identity bytes 512 base 1073741824)))))

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.