type binop = | Add| Sub| Mul| DivS| DivU| RemS| RemU| And| Or| Xor| Shl| ShrS| ShrU| Rotl| Rotr
type relop = | Eq| Ne| LtS| LtU| GtS| GtU| LeS| LeU| GeS| GeU
type cvtop = | ExtendSI32| ExtendUI32| WrapI64| TruncSF32| TruncUF32| TruncSF64| TruncUF64| TruncSatSF32| TruncSatUF32| TruncSatSF64| TruncSatUF64| ReinterpretFloat