57def coordinateInterval =
58 (lambda unrestricted coordinate : Nat .
59 (constructor
60 LogicalInterval
61 LogicalIntervalOf
62 (naturalMultiply coordinate coordinateWordBytes)
63 (naturalMultiply (succ coordinate) coordinateWordBytes)))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.