98def subtractScaledUpdate64SM86 =
99 (lambda unrestricted destination : (family SM86RegisterPair) .
100 (lambda unrestricted rate : (family SM86RegisterPair) .
101 (lambda unrestricted parameter : (family SM86RegisterPair) .
102 (lambda unrestricted update : (family SM86RegisterPair) .
103 (lambda unrestricted scratch : (family SM86RegisterPair) .
104 (lambda erased admitted : (equal Nat (subtractScaledUpdate64Admitted destination rate parameter update scratch) 1) .
105 (lambda unrestricted tail : (family SM86Program) .
106 (scaledUpdate64Next
107 (constructor SM86Float64Operation SM86Float64Multiply)
108 scratch
109 rate
110 update
111 (scaledUpdate64Next
112 (constructor SM86Float64Operation SM86Float64Subtract)
113 destination
114 parameter
115 scratch
116 tail)))))))))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.