1 when a program naming registers below `span` fits the register file
with the reserved two
63def sm86RegisterSpanAdmitted =
64 (lambda unrestricted span : Nat .
65 (naturalLessOrEqual (naturalAdd span sm86ReservedRegisters) sm86RegisterLimit))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.