tezos-webassembly-interpreter 15.0

type itestop =

| AllTrue

val pp_itestop : 
  Ppx_deriving_runtime.Format.formatter ->
  itestop ->
  Ppx_deriving_runtime.unit

val show_itestop : itestop -> Ppx_deriving_runtime.string

type iunop =

| Abs
| Neg
| Popcnt

val pp_iunop : 
  Ppx_deriving_runtime.Format.formatter ->
  iunop ->
  Ppx_deriving_runtime.unit

val show_iunop : iunop -> Ppx_deriving_runtime.string

type funop =

| Abs
| Neg
| Sqrt
| Ceil
| Floor
| Trunc
| Nearest

val pp_funop : 
  Ppx_deriving_runtime.Format.formatter ->
  funop ->
  Ppx_deriving_runtime.unit

val show_funop : funop -> Ppx_deriving_runtime.string

type ibinop =

| Add
| Sub
| Mul
| MinS
| MinU
| MaxS
| MaxU
| AvgrU
| AddSatS
| AddSatU
| SubSatS
| SubSatU
| DotS
| Q15MulRSatS
| ExtMulLowS
| ExtMulHighS
| ExtMulLowU
| ExtMulHighU
| Swizzle
| Shuffle of int list
| NarrowS
| NarrowU

val pp_ibinop : 
  Ppx_deriving_runtime.Format.formatter ->
  ibinop ->
  Ppx_deriving_runtime.unit

val show_ibinop : ibinop -> Ppx_deriving_runtime.string

type fbinop =

| Add
| Sub
| Mul
| Div
| Min
| Max
| Pmin
| Pmax

val pp_fbinop : 
  Ppx_deriving_runtime.Format.formatter ->
  fbinop ->
  Ppx_deriving_runtime.unit

val show_fbinop : fbinop -> Ppx_deriving_runtime.string

type irelop =

| Eq
| Ne
| LtS
| LtU
| LeS
| LeU
| GtS
| GtU
| GeS
| GeU

val pp_irelop : 
  Ppx_deriving_runtime.Format.formatter ->
  irelop ->
  Ppx_deriving_runtime.unit

val show_irelop : irelop -> Ppx_deriving_runtime.string

type frelop =

| Eq
| Ne
| Lt
| Le
| Gt
| Ge

val pp_frelop : 
  Ppx_deriving_runtime.Format.formatter ->
  frelop ->
  Ppx_deriving_runtime.unit

val show_frelop : frelop -> Ppx_deriving_runtime.string

type icvtop =

| ExtendLowS
| ExtendLowU
| ExtendHighS
| ExtendHighU
| ExtAddPairwiseS
| ExtAddPairwiseU
| TruncSatSF32x4
| TruncSatUF32x4
| TruncSatSZeroF64x2
| TruncSatUZeroF64x2

val pp_icvtop : 
  Ppx_deriving_runtime.Format.formatter ->
  icvtop ->
  Ppx_deriving_runtime.unit

val show_icvtop : icvtop -> Ppx_deriving_runtime.string

type fcvtop =

| DemoteZeroF64x2
| PromoteLowF32x4
| ConvertSI32x4
| ConvertUI32x4

val pp_fcvtop : 
  Ppx_deriving_runtime.Format.formatter ->
  fcvtop ->
  Ppx_deriving_runtime.unit

val show_fcvtop : fcvtop -> Ppx_deriving_runtime.string

type ishiftop =

| Shl
| ShrS
| ShrU

val pp_ishiftop : 
  Ppx_deriving_runtime.Format.formatter ->
  ishiftop ->
  Ppx_deriving_runtime.unit

val show_ishiftop : ishiftop -> Ppx_deriving_runtime.string

type ibitmaskop =

| Bitmask

val pp_ibitmaskop : 
  Ppx_deriving_runtime.Format.formatter ->
  ibitmaskop ->
  Ppx_deriving_runtime.unit

val show_ibitmaskop : ibitmaskop -> Ppx_deriving_runtime.string

type vtestop =

| AnyTrue

val pp_vtestop : 
  Ppx_deriving_runtime.Format.formatter ->
  vtestop ->
  Ppx_deriving_runtime.unit

val show_vtestop : vtestop -> Ppx_deriving_runtime.string

type vunop =

| Not

val pp_vunop : 
  Ppx_deriving_runtime.Format.formatter ->
  vunop ->
  Ppx_deriving_runtime.unit

val show_vunop : vunop -> Ppx_deriving_runtime.string

type vbinop =

| And
| Or
| Xor
| AndNot

val pp_vbinop : 
  Ppx_deriving_runtime.Format.formatter ->
  vbinop ->
  Ppx_deriving_runtime.unit

val show_vbinop : vbinop -> Ppx_deriving_runtime.string

type vternop =

| Bitselect

val pp_vternop : 
  Ppx_deriving_runtime.Format.formatter ->
  vternop ->
  Ppx_deriving_runtime.unit

val show_vternop : vternop -> Ppx_deriving_runtime.string

type testop = (itestop, itestop, itestop, itestop, void, void) V128.laneop

val pp_testop : 
  Ppx_deriving_runtime.Format.formatter ->
  testop ->
  Ppx_deriving_runtime.unit

val show_testop : testop -> Ppx_deriving_runtime.string

type unop = (iunop, iunop, iunop, iunop, funop, funop) V128.laneop

val pp_unop : 
  Ppx_deriving_runtime.Format.formatter ->
  unop ->
  Ppx_deriving_runtime.unit

val show_unop : unop -> Ppx_deriving_runtime.string

type binop = (ibinop, ibinop, ibinop, ibinop, fbinop, fbinop) V128.laneop

val pp_binop : 
  Ppx_deriving_runtime.Format.formatter ->
  binop ->
  Ppx_deriving_runtime.unit

val show_binop : binop -> Ppx_deriving_runtime.string

type relop = (irelop, irelop, irelop, irelop, frelop, frelop) V128.laneop

val pp_relop : 
  Ppx_deriving_runtime.Format.formatter ->
  relop ->
  Ppx_deriving_runtime.unit

val show_relop : relop -> Ppx_deriving_runtime.string

type cvtop = (icvtop, icvtop, icvtop, icvtop, fcvtop, fcvtop) V128.laneop

val pp_cvtop : 
  Ppx_deriving_runtime.Format.formatter ->
  cvtop ->
  Ppx_deriving_runtime.unit

val show_cvtop : cvtop -> Ppx_deriving_runtime.string

type shiftop = (ishiftop, ishiftop, ishiftop, ishiftop, void, void) V128.laneop

val pp_shiftop : 
  Ppx_deriving_runtime.Format.formatter ->
  shiftop ->
  Ppx_deriving_runtime.unit

val show_shiftop : shiftop -> Ppx_deriving_runtime.string

type bitmaskop =
  (ibitmaskop, ibitmaskop, ibitmaskop, ibitmaskop, void, void) V128.laneop

val pp_bitmaskop : 
  Ppx_deriving_runtime.Format.formatter ->
  bitmaskop ->
  Ppx_deriving_runtime.unit

val show_bitmaskop : bitmaskop -> Ppx_deriving_runtime.string

type nsplatop =

| Splat

val pp_nsplatop : 
  Ppx_deriving_runtime.Format.formatter ->
  nsplatop ->
  Ppx_deriving_runtime.unit

val show_nsplatop : nsplatop -> Ppx_deriving_runtime.string

type 'a nextractop =

| Extract of int * 'a

val pp_nextractop : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a nextractop ->
  Ppx_deriving_runtime.unit

val show_nextractop : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a nextractop ->
  Ppx_deriving_runtime.string

type nreplaceop =

| Replace of int

val pp_nreplaceop : 
  Ppx_deriving_runtime.Format.formatter ->
  nreplaceop ->
  Ppx_deriving_runtime.unit

val show_nreplaceop : nreplaceop -> Ppx_deriving_runtime.string

type splatop =
  (nsplatop, nsplatop, nsplatop, nsplatop, nsplatop, nsplatop) V128.laneop

val pp_splatop : 
  Ppx_deriving_runtime.Format.formatter ->
  splatop ->
  Ppx_deriving_runtime.unit

val show_splatop : splatop -> Ppx_deriving_runtime.string

type extractop =
  (Types.extension nextractop,
    Types.extension nextractop,
    unit nextractop,
    unit nextractop,
    unit nextractop,
    unit nextractop)
    V128.laneop

val pp_extractop : 
  Ppx_deriving_runtime.Format.formatter ->
  extractop ->
  Ppx_deriving_runtime.unit

val show_extractop : extractop -> Ppx_deriving_runtime.string

type replaceop =
  (nreplaceop, nreplaceop, nreplaceop, nreplaceop, nreplaceop, nreplaceop)
    V128.laneop

val pp_replaceop : 
  Ppx_deriving_runtime.Format.formatter ->
  replaceop ->
  Ppx_deriving_runtime.unit

val show_replaceop : replaceop -> Ppx_deriving_runtime.string

package tezos-webassembly-interpreter