740def sm86EncodeLogic3 =
741 (lambda unrestricted guard : (family SM86InstructionGuard) .
742 (lambda unrestricted destination : (family SM86Register) .
743 (lambda unrestricted left : (family SM86Register) .
744 (lambda unrestricted right : (family SM86Register) .
745 (lambda unrestricted truthTable : Byte .
746 (lambda unrestricted control : (family SM86Control) .
747 (sm86EncodeInstructionFields
748 sm86OpcodeLogicThreeInputTruthTable
749 guard
750 control
751 (sm86InstructionPrependField
752 sm86InstructionNaturalSixteen
753 sm86InstructionNaturalEight
754 (sm86RegisterNatural destination)
755 (sm86InstructionPrependField
756 sm86InstructionNaturalTwentyFour
757 sm86InstructionNaturalEight
758 (sm86RegisterNatural left)
759 (sm86InstructionPrependField
760 sm86InstructionNaturalThirtyTwo
761 sm86InstructionNaturalEight
762 (sm86RegisterNatural right)
763 (sm86InstructionPrependField
764 sm86InstructionNaturalSixtyFour
765 sm86InstructionNaturalEight
766 (byte-to-nat (byte 255))
767 (sm86InstructionPrependField
768 sm86InstructionNaturalSeventyTwo
769 sm86InstructionNaturalEight
770 (byte-to-nat truthTable)
771 (sm86InstructionOneField
772 sm86InstructionNaturalEighty
773 sm86InstructionNaturalSixteen
774 (sm86Unsigned32BytesNatural (byte 142) (byte 7) (byte 0) (byte 0)))))))))))))))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.