open Values val eval_testop : Ast.vec_testop -> vec -> bool val eval_unop : Ast.vec_unop -> vec -> vec val eval_binop : Ast.vec_binop -> vec -> vec -> vec val eval_relop : Ast.vec_relop -> vec -> vec -> vec val eval_cvtop : Ast.vec_cvtop -> vec -> vec val eval_shiftop : Ast.vec_shiftop -> vec -> num -> vec val eval_bitmaskop : Ast.vec_bitmaskop -> vec -> num val eval_vtestop : Ast.vec_vtestop -> vec -> bool val eval_vunop : Ast.vec_vunop -> vec -> vec val eval_vbinop : Ast.vec_vbinop -> vec -> vec -> vec val eval_vternop : Ast.vec_vternop -> vec -> vec -> vec -> vec val eval_splatop : Ast.vec_splatop -> num -> vec val eval_extractop : Ast.vec_extractop -> vec -> num val eval_replaceop : Ast.vec_replaceop -> vec -> num -> vec