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 349–359

nativeCombineRegionEnd

Full file
349def nativeCombineRegionEnd =
350  (lambda unrestricted placement : (family NativeCombinePlacement) .
351    (naturalAdd
352      (nativeCombineValuesAt placement)
353      (naturalMultiply
354        (nativeCombineBytes placement)
355        (stdListLength
356          Nat
357          (combineLocalSlots
358            (nativeCombineRole (nativeCombinePlacementContext placement))
359            (nativeCombineTree (nativeCombinePlacementContext placement)))))))

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.