Source/Packages

Runtime.DeviceArenaCertificate

packages/execution/src/Runtime/DeviceArenaCertificate.alpha

1,800 lines133 declarations66.8 KiBSHA-256 74ef7fffbf20

def · lines 267–273

deviceArenaPhaseCarriedOf

Full file
267def deviceArenaPhaseCarriedOf =
268  (lambda unrestricted phase : (family DeviceArenaPhase) .
269    (eliminate
270      DeviceArenaPhase
271      (lambda unrestricted current : (family DeviceArenaPhase) . (family ArenaResidents))
272      phase
273      (branch DeviceArenaPhaseValue identity fresh carried . carried)))

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.