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 261–269

nativeCombineForPlacementRole

Full file
261def nativeCombineForPlacementRole =
262  (lambda unrestricted placement : (family NativeCombinePlacement) .
263    (lambda unrestricted role : Nat .
264      (constructor
265        NativeCombinePlacement
266        NativeCombinePlacementOf
267        (nativeCombineForRole (nativeCombinePlacementContext placement) role)
268        (nativeCombineBase placement)
269        (nativeCombineBytes 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.