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 361–378

nativeCombineAddress

Full file
361def nativeCombineAddress =
362  (lambda unrestricted placement : (family NativeCombinePlacement) .
363    (lambda unrestricted reference : (family CombineReference) .
364      (eliminate
365        StdOption
366        (lambda unrestricted current : (family StdOption Nat) . Nat)
367        (combineReferenceIndex
368          (nativeCombineRole (nativeCombinePlacementContext placement))
369          (nativeCombineTree (nativeCombinePlacementContext placement))
370          reference)
371        (branch StdNone . (nativeCombineRegionEnd placement))
372        (branch
373          StdSome
374          index
375          .
376          (naturalAdd
377            (nativeCombineValuesAt placement)
378            (naturalMultiply (nativeCombineBytes placement) index))))))

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.