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
