89def nativeObservedCandidateSlots =
90 (lambda unrestricted requested : Nat .
91 (aosChoose
92 Nat
93 (naturalLessOrEqual
94 requested
95 (naturalSaturatingSubtract
96 (naturalDivideUnchecked nativeObservedAddressMaximum nativePhysicalWordBytes)
97 nativeObservedPrivateSlotCount))
98 requested
99 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.