open Values

exception TypeError of int * value * Types.value_type

val eval_unop : Ast.unop -> value -> value
val eval_binop : Ast.binop -> value -> value -> value
val eval_testop : Ast.testop -> value -> bool
val eval_relop : Ast.relop -> value -> value -> bool
val eval_cvtop : Ast.cvtop -> value -> value