Type Alias MichelsonInstruction
MichelsonInstruction: | MichelsonNoArgInstruction | InstrX<"DIG" | "DUG" | "SAPLING_EMPTY_STATE", [IntLiteral]> | InstrX< | "NONE" | "LEFT" | "RIGHT" | "NIL" | "CAST", [MichelsonType]> | InstrX< | "IF_NONE" | "IF_LEFT" | "IF_CONS" | "IF", [InstructionList, InstructionList]> | InstrX< | "MAP" | "ITER" | "LOOP" | "LOOP_LEFT" | "DIP", [InstructionList]> | InstrX<"UNPACK", [MichelsonType]> | InstrX<"CONTRACT", [MichelsonType]> | InstrX<"CREATE_CONTRACT", [MichelsonContract]> | InstrX<"PUSH", [MichelsonType, MichelsonData]> | InstrX<"EMPTY_SET", [MichelsonType]> | InstrX<"EMPTY_MAP", [MichelsonType, MichelsonType]> | InstrX<"EMPTY_BIG_MAP", [MichelsonType, MichelsonType]> | InstrX<"LAMBDA" | "LAMBDA_REC", [MichelsonType, MichelsonType, InstructionList]> | InstrX<"DIP", [IntLiteral, InstructionList] | [InstructionList]> | InstrX<"VIEW", [StringLiteral, MichelsonType]> | InstrX<"EMIT", [MichelsonType]> | InstrPrim< | "DROP" | "PAIR" | "UNPAIR" | "DUP" | "GET" | "UPDATE", [IntLiteral]>