---- (D) over the executed instances ----
the first instance breaking (D), as `base` + its index; 0 when none does.
The build's evaluator evaluates both arms of a choice, so each step makes
exactly one recursive call (the walk goes on past a hazard; the first one
found wins).
every plane some phase carries
1700def deviceArenaCarriedAnywhere =
1701 (lambda unrestricted phases : (family DeviceArenaPhases) .
1702 (eliminate
1703 DeviceArenaPhases
1704 (lambda unrestricted current : (family DeviceArenaPhases) . (family ArenaResidents))
1705 phases
1706 (branch DeviceArenaPhasesEnd . (constructor ArenaResidents ArenaResidentsEnd))
1707 (branch
1708 DeviceArenaPhasesNext
1709 head
1710 tail
1711 induction
1712 .
1713 (deviceArenaAppend (deviceArenaPhaseCarriedOf head) induction))))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.