450def bobPhase =
451 (lambda unrestricted identity : Bytes .
452 (lambda unrestricted rest : (family DeviceArenaPhases) .
453 (constructor DeviceArenaPhases DeviceArenaPhasesNext
454 (constructor DeviceArenaPhase DeviceArenaPhaseValue identity bobNoPlanes bobNoPlanes)
455 rest)))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.