ne (not equals) todo $$ T.\mathsf{ne} \enspace ( a: T, b: T ) \to \begin{cases} 1_{\mathsf{i32}} &\text{if } a \ne b\\ 0_{\mathsf{i32}} &\text{if } a = b \end{cases} $$ Instructions Opcode Instruction Stack Arity 0x47 i32.ne $[ \mathsf{i32}, \mathsf{i32} ] \to [ \mathsf{i32} ]$ 0x55 i64.ne $[ \mathsf{i64}, \mathsf{i64} ] \to [ \mathsf{i32} ]$ 0x5C f32.ne $[ \mathsf{f32}, \mathsf{f32} ] \to [ \mathsf{i32} ]$ 0x62 f64.ne $[ \mathsf{f64}, \mathsf{f64} ] \to [ \mathsf{i32} ]$ WAT Examples todo References WebAssembly Core Specification