275def deviceArenaPhasePlanes =
276 (lambda unrestricted phase : (family DeviceArenaPhase) .
277 (deviceArenaAppend (deviceArenaPhaseFreshOf phase) (deviceArenaPhaseCarriedOf phase)))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.