67def accumulateScaledGradient64SM86 =
68 (lambda unrestricted destination : (family SM86RegisterPair) .
69 (lambda unrestricted decay : (family SM86RegisterPair) .
70 (lambda unrestricted previous : (family SM86RegisterPair) .
71 (lambda unrestricted gradient : (family SM86RegisterPair) .
72 (lambda erased admitted : (equal Nat (accumulateScaledGradient64Admitted destination decay previous gradient) 1) .
73 (lambda unrestricted tail : (family SM86Program) .
74 (scaledUpdate64Next
75 (constructor SM86Float64Operation SM86Float64Multiply)
76 destination
77 decay
78 previous
79 (scaledUpdate64Next
80 (constructor SM86Float64Operation SM86Float64Add)
81 destination
82 destination
83 gradient
84 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.