Eval_vec (mavkit-l2-libs.Mavryk_webassembly_interpreter.Eval

val eval_testop : Ast.vec_testop -> Values.vec -> bool

val eval_unop : Ast.vec_unop -> Values.vec -> Values.vec

val eval_binop : Ast.vec_binop -> Values.vec -> Values.vec -> Values.vec

val eval_relop : Ast.vec_relop -> Values.vec -> Values.vec -> Values.vec

val eval_cvtop : Ast.vec_cvtop -> Values.vec -> Values.vec

val eval_shiftop : Ast.vec_shiftop -> Values.vec -> Values.num -> Values.vec

val eval_bitmaskop : Ast.vec_bitmaskop -> Values.vec -> Values.num

val eval_vtestop : Ast.vec_vtestop -> Values.vec -> bool

val eval_vunop : Ast.vec_vunop -> Values.vec -> Values.vec

val eval_vbinop : Ast.vec_vbinop -> Values.vec -> Values.vec -> Values.vec

val eval_vternop : 
  Ast.vec_vternop ->
  Values.vec ->
  Values.vec ->
  Values.vec ->
  Values.vec

val eval_splatop : Ast.vec_splatop -> Values.num -> Values.vec

val eval_extractop : Ast.vec_extractop -> Values.vec -> Values.num

val eval_replaceop : 
  Ast.vec_replaceop ->
  Values.vec ->
  Values.num ->
  Values.vec