again while j != t + 1: @P1 BRA back over the body and the branch
116def irsEarlier =
117 (lambda unrestricted tail : (family SM86Program) .
118 (irsEarlierBody
119 (irsWhen irsP1 (irsBranch (naturalSaturatingSubtract 4294967296 (naturalMultiply 16 (succ (llLength irsEarlierBody)))))
120 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.