---- the loop's control: the next quad, one iteration fewer ----
314def ahControl = (lambda unrestricted stride : Nat . (lambda unrestricted tail : (family SM86Program) .
315 (saAddImm 2 2 stride
316 (saAddImm ahCounter ahCounter 4294967295
317 (saGreater saP1 ahCounter 0 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.