the query pass's: D, then -L at 4 (h seq + row)
1393def sqRowTerms = (lambda unrestricted seq : Nat . (lambda unrestricted heads : Nat . (lambda unrestricted tail : (family SM86Program) .
1394 (sqRowTermsWith seq heads sqRowTermStorePointer
1395 (saWide saPointer saRow saOne (saArgument 6)
1396 (saLoad (sqTmp 2) saPointer 0 saSB1 saWaitNone
1397 (saLoad (sqTmp 3) saPointer 32 saSB1 saWaitNone
1398 (sbNegate (sqNegL 0) (sqTmp 2) saWait1
1399 (sbNegate (sqNegL 1) (sqTmp 3) saWaitNone
1400 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.