Documentation

EvmYul.EVM.Instr

source
def EvmYul.EVM.serializeStopArithInstr :
Operation.SAOp OperationType.EVM → UInt8
Equations
Instances For
    source
    def EvmYul.EVM.serializeCompBitInstr :
    Operation.CBLOp OperationType.EVM → UInt8
    Equations
    Instances For
      source
      def EvmYul.EVM.serializeKeccakInstr :
      Operation.KOp OperationType.EVM → UInt8
      Equations
      Instances For
        source
        def EvmYul.EVM.serializeEnvInstr :
        Operation.EOp OperationType.EVM → UInt8
        Equations
        Instances For
          source
          def EvmYul.EVM.serializeBlockInstr :
          Operation.BOp OperationType.EVM → UInt8
          Equations
          Instances For
            source
            def EvmYul.EVM.serializeStackMemFlowInstr :
            Operation.SMSFOp OperationType.EVM → UInt8
            Equations
            Instances For
              source
              def EvmYul.EVM.serializePushInstr :
              Operation.POp → UInt8
              Equations
              Instances For
                source
                def EvmYul.EVM.serializeDupInstr :
                Operation.DOp → UInt8
                Equations
                Instances For
                  source
                  def EvmYul.EVM.serializeSwapInstr :
                  Operation.ExOp → UInt8
                  Equations
                  Instances For
                    source
                    def EvmYul.EVM.serializeLogInstr :
                    Operation.LOp OperationType.EVM → UInt8
                    Equations
                    Instances For
                      source
                      def EvmYul.EVM.serializeSysInstr :
                      Operation.SOp OperationType.EVM → UInt8
                      Equations
                      Instances For
                        source
                        def EvmYul.EVM.serializeInstr :
                        Operation OperationType.EVM → UInt8
                        Equations
                        Instances For
                          source
                          def EvmYul.EVM.δ :
                          Operation OperationType.EVM → Option ℕ
                          Instances For
                            source
                            def EvmYul.EVM.α :
                            Operation OperationType.EVM → Option ℕ
                            Instances For
                              source
                              def EvmYul.EVM.parseInstr :
                              UInt8 → Option (Operation OperationType.EVM)
                              Instances For