bounds, the four pointers and the halves'
98def ahAddresses = (lambda unrestricted quads : Nat . (lambda unrestricted tail : (family SM86Program) .
99 (saGreater saP0 2 (naturalPredecessor quads)
100 (saWide 6 2 3 (saArgument adamWHalfSM86ParameterArgument)
101 (saWide 8 2 3 (saArgument adamWHalfSM86GradientArgument)
102 (saWide 10 2 3 (saArgument adamWHalfSM86FirstMomentArgument)
103 (saWide 12 2 3 (saArgument adamWHalfSM86SecondMomentArgument)
104 (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.