Index of InstructionsΒΆ
Instruction |
Binary Opcode |
Type |
Validation |
Execution |
|---|---|---|---|---|
\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{try}}~\mathit{bt}\) |
\(\def\mathdef40#1{\mathtt{0x#1}}\mathdef40{06}\) |
\([t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]\) |
||
\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{catch}}~x\) |
\(\def\mathdef41#1{\mathtt{0x#1}}\mathdef41{07}\) |
|||
\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{rethrow}}~n\) |
\(\def\mathdef42#1{\mathtt{0x#1}}\mathdef42{09}\) |
\([t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]\) |
||
\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{delegate}}~l\) |
\(\def\mathdef43#1{\mathtt{0x#1}}\mathdef43{18}\) |
|||
\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{catch\_all}}\) |
\(\def\mathdef44#1{\mathtt{0x#1}}\mathdef44{19}\) |