442def adamWF32LoadProgram =
443 (lambda unrestricted variant : (family AdamWF32SM86Variant) .
444 (adamWF32GuardedNext
445 variant
446 (constructor
447 SM86InstructionBody
448 SM86LoadGlobal
449 adamWF32R14
450 adamWF32R6
451 adamWF32U0
452 adamWF32Set0)
453 (adamWF32GuardedNext
454 variant
455 (constructor
456 SM86InstructionBody
457 SM86LoadGlobal
458 adamWF32R15
459 adamWF32R8
460 adamWF32U0
461 adamWF32Set1)
462 (adamWF32GuardedNext
463 variant
464 (constructor
465 SM86InstructionBody
466 SM86LoadGlobal
467 adamWF32R16
468 adamWF32R10
469 adamWF32U0
470 adamWF32Set2)
471 (adamWF32GuardedNext
472 variant
473 (constructor
474 SM86InstructionBody
475 SM86LoadGlobal
476 adamWF32R17
477 adamWF32R12
478 adamWF32U0
479 adamWF32Set3)
480 (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.