the number of instructions a block prepends
87def llLength =
88 (lambda unrestricted block : (pi unrestricted tail : (family SM86Program) . (family SM86Program)) .
89 (eliminate SM86Program (lambda unrestricted current : (family SM86Program) . Nat)
90 (block (constructor SM86Program SM86ProgramEnd))
91 (branch SM86ProgramEnd . zero)
92 (branch SM86ProgramNext head rest induction . (succ induction))))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.