69def nativeObservedCandidateBytes =
70 (lambda unrestricted requested : Nat .
71 (aosChoose Nat (naturalLessOrEqual requested nativeObservedAddressMaximum) requested 0))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.