a delta word read as signed: the rise (below 2^63) or the fall (2^64 - d)
370def deviceArenaNegative =
371 (lambda unrestricted delta : Nat .
372 (naturalLess (naturalDivideUnchecked deviceArenaWordMaximum 2) delta))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.