182def sm86CapabilityAdmit =
183 (lambda unrestricted requirements : (family SM86CapabilityRequirements) .
184 (lambda unrestricted observed : (family SM86DeviceCapabilities) .
185 (app
186 (lambda unrestricted checks : (family SM86CapabilityChecks) .
187 (nat-eliminate
188 (lambda unrestricted accepted : Nat . (family SM86CapabilityAdmission))
189 (constructor SM86CapabilityAdmission SM86CapabilityRejected checks)
190 (lambda unrestricted predecessor : Nat .
191 (lambda unrestricted induction : (family SM86CapabilityAdmission) .
192 (constructor SM86CapabilityAdmission SM86CapabilityAccepted checks)))
193 (sm86CapabilityChecksAccepted checks)))
194 (sm86CapabilityChecks requirements observed))))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.