bounds, the four pointers and the halves'
164def ahAddresses = (lambda unrestricted quads : Nat . (lambda unrestricted tail : (family SM86Program) .
165 (saGreater saP0 2 (naturalPredecessor quads)
166 (saWide 6 2 3 (saArgument adamWHalfSM86ParameterArgument)
167 (saWide 8 2 3 (saArgument adamWHalfSM86GradientArgument)
168 (saWide 10 2 3 (saArgument adamWHalfSM86FirstMomentArgument)
169 (saWide 12 2 3 (saArgument adamWHalfSM86SecondMomentArgument)
170 (saWide 30 2 4 ahHalfPointer 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.