377def adamWF32BoundsProgram =
378 (lambda unrestricted variant : (family AdamWF32SM86Variant) .
379 (lambda unrestricted logicalElements : (family SM86Unsigned32) .
380 (eliminate
381 AdamWF32SM86Variant
382 (lambda unrestricted current : (family AdamWF32SM86Variant) . (family SM86Program))
383 variant
384 (branch AdamWF32SM86Unbounded . (constructor SM86Program SM86ProgramEnd))
385 (branch
386 AdamWF32SM86Bounded
387 .
388 (adamWF32Next
389 (constructor
390 SM86InstructionBody
391 SM86PredicateGreaterThanImmediate
392 adamWF32P0
393 adamWF32R0
394 (adamWF32Unsigned32FromNatural
395 (naturalPredecessor (sm86Unsigned32Natural logicalElements)))
396 sm86SafeControl)
397 (constructor SM86Program SM86ProgramEnd))))))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.