86def subtractScaledUpdate64Admitted =
87 (lambda unrestricted destination : (family SM86RegisterPair) .
88 (lambda unrestricted rate : (family SM86RegisterPair) .
89 (lambda unrestricted parameter : (family SM86RegisterPair) .
90 (lambda unrestricted update : (family SM86RegisterPair) .
91 (lambda unrestricted scratch : (family SM86RegisterPair) .
92 (nat-multiply
93 (sm86Float64RegistersAdmitted destination rate parameter)
94 (nat-multiply
95 (sm86Float64RegistersAdmitted scratch rate update)
96 (scaledUpdate64Disjoint scratch parameter))))))))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.