github.com/mavryk-network/mvgo@v1.19.9/micheline/testdata-mainnet/storage/KT1PWx2mnDueood7fEmfbBDKx1D9BAnnXitn.json (about)

     1  [{
     2    "name": "Mainnet/KT1PWx2mnDueood7fEmfbBDKx1D9BAnnXitn",
     3    "type": {
     4      "args": [
     5        {
     6          "args": [
     7            {
     8              "prim": "bytes"
     9            },
    10            {
    11              "prim": "bytes"
    12            }
    13          ],
    14          "prim": "big_map"
    15        },
    16        {
    17          "args": [
    18            {
    19              "args": [
    20                {
    21                  "args": [
    22                    {
    23                      "args": [
    24                        {
    25                          "prim": "string"
    26                        },
    27                        {
    28                          "prim": "bytes"
    29                        }
    30                      ],
    31                      "prim": "pair"
    32                    },
    33                    {
    34                      "args": [
    35                        {
    36                          "prim": "bytes"
    37                        },
    38                        {
    39                          "prim": "bytes"
    40                        }
    41                      ],
    42                      "prim": "big_map"
    43                    }
    44                  ],
    45                  "prim": "pair"
    46                },
    47                {
    48                  "args": [
    49                    {
    50                      "args": [
    51                        {
    52                          "prim": "operation"
    53                        }
    54                      ],
    55                      "prim": "list"
    56                    },
    57                    {
    58                      "args": [
    59                        {
    60                          "prim": "bytes"
    61                        },
    62                        {
    63                          "prim": "bytes"
    64                        }
    65                      ],
    66                      "prim": "big_map"
    67                    }
    68                  ],
    69                  "prim": "pair"
    70                }
    71              ],
    72              "prim": "lambda"
    73            },
    74            {
    75              "args": [
    76                {
    77                  "prim": "nat"
    78                },
    79                {
    80                  "prim": "bool"
    81                }
    82              ],
    83              "prim": "pair"
    84            }
    85          ],
    86          "prim": "pair"
    87        }
    88      ],
    89      "prim": "pair"
    90    },
    91    "value": [
    92      {
    93        "int": "31"
    94      },
    95      [
    96        {
    97          "prim": "DUP"
    98        },
    99        {
   100          "prim": "CAR"
   101        },
   102        {
   103          "args": [
   104            [
   105              {
   106                "prim": "CDR"
   107              }
   108            ]
   109          ],
   110          "prim": "DIP"
   111        },
   112        {
   113          "prim": "DUP"
   114        },
   115        {
   116          "prim": "DUP"
   117        },
   118        {
   119          "prim": "CAR"
   120        },
   121        {
   122          "args": [
   123            [
   124              {
   125                "prim": "CDR"
   126              }
   127            ]
   128          ],
   129          "prim": "DIP"
   130        },
   131        {
   132          "args": [
   133            [
   134              {
   135                "args": [
   136                  {
   137                    "int": "2"
   138                  },
   139                  [
   140                    {
   141                      "prim": "DUP"
   142                    }
   143                  ]
   144                ],
   145                "prim": "DIP"
   146              },
   147              {
   148                "args": [
   149                  {
   150                    "int": "2"
   151                  }
   152                ],
   153                "prim": "DIG"
   154              }
   155            ]
   156          ],
   157          "prim": "DIP"
   158        },
   159        {
   160          "args": [
   161            {
   162              "prim": "string"
   163            },
   164            {
   165              "string": "code"
   166            }
   167          ],
   168          "prim": "PUSH"
   169        },
   170        {
   171          "prim": "PAIR"
   172        },
   173        {
   174          "prim": "PACK"
   175        },
   176        {
   177          "prim": "GET"
   178        },
   179        {
   180          "args": [
   181            [
   182              {
   183                "args": [
   184                  {
   185                    "args": [
   186                      {
   187                        "args": [
   188                          {
   189                            "prim": "bytes"
   190                          },
   191                          {
   192                            "args": [
   193                              {
   194                                "prim": "bytes"
   195                              },
   196                              {
   197                                "prim": "bytes"
   198                              }
   199                            ],
   200                            "prim": "big_map"
   201                          }
   202                        ],
   203                        "prim": "pair"
   204                      },
   205                      {
   206                        "args": [
   207                          {
   208                            "args": [
   209                              {
   210                                "prim": "operation"
   211                              }
   212                            ],
   213                            "prim": "list"
   214                          },
   215                          {
   216                            "args": [
   217                              {
   218                                "prim": "bytes"
   219                              },
   220                              {
   221                                "prim": "bytes"
   222                              }
   223                            ],
   224                            "prim": "big_map"
   225                          }
   226                        ],
   227                        "prim": "pair"
   228                      }
   229                    ],
   230                    "prim": "lambda"
   231                  }
   232                ],
   233                "prim": "NONE"
   234              }
   235            ],
   236            [
   237              {
   238                "args": [
   239                  {
   240                    "args": [
   241                      {
   242                        "args": [
   243                          {
   244                            "prim": "bytes"
   245                          },
   246                          {
   247                            "args": [
   248                              {
   249                                "prim": "bytes"
   250                              },
   251                              {
   252                                "prim": "bytes"
   253                              }
   254                            ],
   255                            "prim": "big_map"
   256                          }
   257                        ],
   258                        "prim": "pair"
   259                      },
   260                      {
   261                        "args": [
   262                          {
   263                            "args": [
   264                              {
   265                                "prim": "operation"
   266                              }
   267                            ],
   268                            "prim": "list"
   269                          },
   270                          {
   271                            "args": [
   272                              {
   273                                "prim": "bytes"
   274                              },
   275                              {
   276                                "prim": "bytes"
   277                              }
   278                            ],
   279                            "prim": "big_map"
   280                          }
   281                        ],
   282                        "prim": "pair"
   283                      }
   284                    ],
   285                    "prim": "lambda"
   286                  }
   287                ],
   288                "prim": "UNPACK"
   289              },
   290              {
   291                "args": [
   292                  [
   293                    {
   294                      "args": [
   295                        {
   296                          "prim": "string"
   297                        },
   298                        {
   299                          "string": "UStore: failed to unpack code"
   300                        }
   301                      ],
   302                      "prim": "PUSH"
   303                    },
   304                    {
   305                      "prim": "FAILWITH"
   306                    }
   307                  ],
   308                  []
   309                ],
   310                "prim": "IF_NONE"
   311              },
   312              {
   313                "prim": "SOME"
   314              }
   315            ]
   316          ],
   317          "prim": "IF_NONE"
   318        },
   319        {
   320          "args": [
   321            [
   322              {
   323                "prim": "DROP"
   324              },
   325              {
   326                "args": [
   327                  [
   328                    {
   329                      "prim": "DUP"
   330                    },
   331                    {
   332                      "args": [
   333                        {
   334                          "prim": "bytes"
   335                        },
   336                        {
   337                          "bytes": "05010000000866616c6c6261636b"
   338                        }
   339                      ],
   340                      "prim": "PUSH"
   341                    },
   342                    {
   343                      "prim": "GET"
   344                    },
   345                    {
   346                      "args": [
   347                        [
   348                          {
   349                            "args": [
   350                              {
   351                                "prim": "string"
   352                              },
   353                              {
   354                                "string": "UStore: no field fallback"
   355                              }
   356                            ],
   357                            "prim": "PUSH"
   358                          },
   359                          {
   360                            "prim": "FAILWITH"
   361                          }
   362                        ],
   363                        []
   364                      ],
   365                      "prim": "IF_NONE"
   366                    },
   367                    {
   368                      "args": [
   369                        {
   370                          "args": [
   371                            {
   372                              "args": [
   373                                {
   374                                  "args": [
   375                                    {
   376                                      "prim": "string"
   377                                    },
   378                                    {
   379                                      "prim": "bytes"
   380                                    }
   381                                  ],
   382                                  "prim": "pair"
   383                                },
   384                                {
   385                                  "args": [
   386                                    {
   387                                      "prim": "bytes"
   388                                    },
   389                                    {
   390                                      "prim": "bytes"
   391                                    }
   392                                  ],
   393                                  "prim": "big_map"
   394                                }
   395                              ],
   396                              "prim": "pair"
   397                            },
   398                            {
   399                              "args": [
   400                                {
   401                                  "args": [
   402                                    {
   403                                      "prim": "operation"
   404                                    }
   405                                  ],
   406                                  "prim": "list"
   407                                },
   408                                {
   409                                  "args": [
   410                                    {
   411                                      "prim": "bytes"
   412                                    },
   413                                    {
   414                                      "prim": "bytes"
   415                                    }
   416                                  ],
   417                                  "prim": "big_map"
   418                                }
   419                              ],
   420                              "prim": "pair"
   421                            }
   422                          ],
   423                          "prim": "lambda"
   424                        }
   425                      ],
   426                      "prim": "UNPACK"
   427                    },
   428                    {
   429                      "args": [
   430                        [
   431                          {
   432                            "args": [
   433                              {
   434                                "prim": "string"
   435                              },
   436                              {
   437                                "string": "UStore: failed to unpack fallback"
   438                              }
   439                            ],
   440                            "prim": "PUSH"
   441                          },
   442                          {
   443                            "prim": "FAILWITH"
   444                          }
   445                        ],
   446                        []
   447                      ],
   448                      "prim": "IF_NONE"
   449                    },
   450                    {
   451                      "prim": "SWAP"
   452                    }
   453                  ]
   454                ],
   455                "prim": "DIP"
   456              },
   457              {
   458                "prim": "PAIR"
   459              },
   460              {
   461                "prim": "EXEC"
   462              }
   463            ],
   464            [
   465              {
   466                "args": [
   467                  [
   468                    {
   469                      "prim": "SWAP"
   470                    },
   471                    {
   472                      "prim": "DROP"
   473                    },
   474                    {
   475                      "prim": "PAIR"
   476                    }
   477                  ]
   478                ],
   479                "prim": "DIP"
   480              },
   481              {
   482                "prim": "SWAP"
   483              },
   484              {
   485                "prim": "EXEC"
   486              }
   487            ]
   488          ],
   489          "prim": "IF_NONE"
   490        }
   491      ],
   492      {
   493        "int": "1"
   494      },
   495      {
   496        "prim": "False"
   497      }
   498    ],
   499    "type_hex": "07650761036903690765075e07650765036803690761036903690765055f036d076103690369076503620359",
   500    "value_hex": "0200000193001f020000018803210316051f02000000020317032103210316051f02000000020317051f020000000f071f00020200000002032105700002074303680100000004636f64650342030c0329072f020000001a053e075e076503690761036903690765055f036d0761036903690200000050050d075e076503690761036903690765055f036d076103690369072f020000002807430368010000001d5553746f72653a206661696c656420746f20756e7061636b20636f6465032702000000000346072f02000000b00320051f02000000a30321074303690a0000000e05010000000866616c6c6261636b0329072f02000000240743036801000000195553746f72653a206e6f206669656c642066616c6c6261636b03270200000000050d075e07650765036803690761036903690765055f036d076103690369072f020000002c0743036801000000215553746f72653a206661696c656420746f20756e7061636b2066616c6c6261636b03270200000000034c034203260200000011051f0200000006034c03200342034c032600010303",
   501    "want_value": {
   502      "0": 31,
   503      "1": [
   504        {
   505          "prim": "DUP"
   506        },
   507        {
   508          "prim": "CAR"
   509        },
   510        {
   511          "args": [
   512            [
   513              {
   514                "prim": "CDR"
   515              }
   516            ]
   517          ],
   518          "prim": "DIP"
   519        },
   520        {
   521          "prim": "DUP"
   522        },
   523        {
   524          "prim": "DUP"
   525        },
   526        {
   527          "prim": "CAR"
   528        },
   529        {
   530          "args": [
   531            [
   532              {
   533                "prim": "CDR"
   534              }
   535            ]
   536          ],
   537          "prim": "DIP"
   538        },
   539        {
   540          "args": [
   541            [
   542              {
   543                "args": [
   544                  {
   545                    "int": "2"
   546                  },
   547                  [
   548                    {
   549                      "prim": "DUP"
   550                    }
   551                  ]
   552                ],
   553                "prim": "DIP"
   554              },
   555              {
   556                "args": [
   557                  {
   558                    "int": "2"
   559                  }
   560                ],
   561                "prim": "DIG"
   562              }
   563            ]
   564          ],
   565          "prim": "DIP"
   566        },
   567        {
   568          "args": [
   569            {
   570              "prim": "string"
   571            },
   572            {
   573              "string": "code"
   574            }
   575          ],
   576          "prim": "PUSH"
   577        },
   578        {
   579          "prim": "PAIR"
   580        },
   581        {
   582          "prim": "PACK"
   583        },
   584        {
   585          "prim": "GET"
   586        },
   587        {
   588          "args": [
   589            [
   590              {
   591                "args": [
   592                  {
   593                    "args": [
   594                      {
   595                        "args": [
   596                          {
   597                            "prim": "bytes"
   598                          },
   599                          {
   600                            "args": [
   601                              {
   602                                "prim": "bytes"
   603                              },
   604                              {
   605                                "prim": "bytes"
   606                              }
   607                            ],
   608                            "prim": "big_map"
   609                          }
   610                        ],
   611                        "prim": "pair"
   612                      },
   613                      {
   614                        "args": [
   615                          {
   616                            "args": [
   617                              {
   618                                "prim": "operation"
   619                              }
   620                            ],
   621                            "prim": "list"
   622                          },
   623                          {
   624                            "args": [
   625                              {
   626                                "prim": "bytes"
   627                              },
   628                              {
   629                                "prim": "bytes"
   630                              }
   631                            ],
   632                            "prim": "big_map"
   633                          }
   634                        ],
   635                        "prim": "pair"
   636                      }
   637                    ],
   638                    "prim": "lambda"
   639                  }
   640                ],
   641                "prim": "NONE"
   642              }
   643            ],
   644            [
   645              {
   646                "args": [
   647                  {
   648                    "args": [
   649                      {
   650                        "args": [
   651                          {
   652                            "prim": "bytes"
   653                          },
   654                          {
   655                            "args": [
   656                              {
   657                                "prim": "bytes"
   658                              },
   659                              {
   660                                "prim": "bytes"
   661                              }
   662                            ],
   663                            "prim": "big_map"
   664                          }
   665                        ],
   666                        "prim": "pair"
   667                      },
   668                      {
   669                        "args": [
   670                          {
   671                            "args": [
   672                              {
   673                                "prim": "operation"
   674                              }
   675                            ],
   676                            "prim": "list"
   677                          },
   678                          {
   679                            "args": [
   680                              {
   681                                "prim": "bytes"
   682                              },
   683                              {
   684                                "prim": "bytes"
   685                              }
   686                            ],
   687                            "prim": "big_map"
   688                          }
   689                        ],
   690                        "prim": "pair"
   691                      }
   692                    ],
   693                    "prim": "lambda"
   694                  }
   695                ],
   696                "prim": "UNPACK"
   697              },
   698              {
   699                "args": [
   700                  [
   701                    {
   702                      "args": [
   703                        {
   704                          "prim": "string"
   705                        },
   706                        {
   707                          "string": "UStore: failed to unpack code"
   708                        }
   709                      ],
   710                      "prim": "PUSH"
   711                    },
   712                    {
   713                      "prim": "FAILWITH"
   714                    }
   715                  ],
   716                  []
   717                ],
   718                "prim": "IF_NONE"
   719              },
   720              {
   721                "prim": "SOME"
   722              }
   723            ]
   724          ],
   725          "prim": "IF_NONE"
   726        },
   727        {
   728          "args": [
   729            [
   730              {
   731                "prim": "DROP"
   732              },
   733              {
   734                "args": [
   735                  [
   736                    {
   737                      "prim": "DUP"
   738                    },
   739                    {
   740                      "args": [
   741                        {
   742                          "prim": "bytes"
   743                        },
   744                        {
   745                          "bytes": "05010000000866616c6c6261636b"
   746                        }
   747                      ],
   748                      "prim": "PUSH"
   749                    },
   750                    {
   751                      "prim": "GET"
   752                    },
   753                    {
   754                      "args": [
   755                        [
   756                          {
   757                            "args": [
   758                              {
   759                                "prim": "string"
   760                              },
   761                              {
   762                                "string": "UStore: no field fallback"
   763                              }
   764                            ],
   765                            "prim": "PUSH"
   766                          },
   767                          {
   768                            "prim": "FAILWITH"
   769                          }
   770                        ],
   771                        []
   772                      ],
   773                      "prim": "IF_NONE"
   774                    },
   775                    {
   776                      "args": [
   777                        {
   778                          "args": [
   779                            {
   780                              "args": [
   781                                {
   782                                  "args": [
   783                                    {
   784                                      "prim": "string"
   785                                    },
   786                                    {
   787                                      "prim": "bytes"
   788                                    }
   789                                  ],
   790                                  "prim": "pair"
   791                                },
   792                                {
   793                                  "args": [
   794                                    {
   795                                      "prim": "bytes"
   796                                    },
   797                                    {
   798                                      "prim": "bytes"
   799                                    }
   800                                  ],
   801                                  "prim": "big_map"
   802                                }
   803                              ],
   804                              "prim": "pair"
   805                            },
   806                            {
   807                              "args": [
   808                                {
   809                                  "args": [
   810                                    {
   811                                      "prim": "operation"
   812                                    }
   813                                  ],
   814                                  "prim": "list"
   815                                },
   816                                {
   817                                  "args": [
   818                                    {
   819                                      "prim": "bytes"
   820                                    },
   821                                    {
   822                                      "prim": "bytes"
   823                                    }
   824                                  ],
   825                                  "prim": "big_map"
   826                                }
   827                              ],
   828                              "prim": "pair"
   829                            }
   830                          ],
   831                          "prim": "lambda"
   832                        }
   833                      ],
   834                      "prim": "UNPACK"
   835                    },
   836                    {
   837                      "args": [
   838                        [
   839                          {
   840                            "args": [
   841                              {
   842                                "prim": "string"
   843                              },
   844                              {
   845                                "string": "UStore: failed to unpack fallback"
   846                              }
   847                            ],
   848                            "prim": "PUSH"
   849                          },
   850                          {
   851                            "prim": "FAILWITH"
   852                          }
   853                        ],
   854                        []
   855                      ],
   856                      "prim": "IF_NONE"
   857                    },
   858                    {
   859                      "prim": "SWAP"
   860                    }
   861                  ]
   862                ],
   863                "prim": "DIP"
   864              },
   865              {
   866                "prim": "PAIR"
   867              },
   868              {
   869                "prim": "EXEC"
   870              }
   871            ],
   872            [
   873              {
   874                "args": [
   875                  [
   876                    {
   877                      "prim": "SWAP"
   878                    },
   879                    {
   880                      "prim": "DROP"
   881                    },
   882                    {
   883                      "prim": "PAIR"
   884                    }
   885                  ]
   886                ],
   887                "prim": "DIP"
   888              },
   889              {
   890                "prim": "SWAP"
   891              },
   892              {
   893                "prim": "EXEC"
   894              }
   895            ]
   896          ],
   897          "prim": "IF_NONE"
   898        }
   899      ],
   900      "2": "1",
   901      "3": false
   902    }
   903  }]