A loop: the block, then @!P BRA back to its first instruction -- the
distance is the block's own length and the branch, so no count is written
by hand.
97def llLoop =
98 (lambda unrestricted predicate : (family SM86Predicate) .
99 (lambda unrestricted block : (pi unrestricted tail : (family SM86Program) . (family SM86Program)) .
100 (lambda unrestricted tail : (family SM86Program) .
101 (block (llBackUnless predicate (succ (llLength block)) 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.