765def deviceArenaLowest =
766 (lambda unrestricted intervals : (family DeviceArenaIntervals) .
767 (eliminate
768 DeviceArenaIntervals
769 (lambda unrestricted current : (family DeviceArenaIntervals) . Nat)
770 intervals
771 (branch DeviceArenaIntervalsEnd . deviceArenaWordMaximum)
772 (branch
773 DeviceArenaIntervalsNext
774 low
775 high
776 tail
777 induction
778 .
779 (naturalSelect (naturalLess low induction) low 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.