let rec eval_expr = function Cst x -> x | Sum(e1,e2) -> (eval_expr e1) + (eval_expr e2) | Diff(e1,e2) -> (eval_expr e1) - (eval_expr e2) | Prod(e1,e2) -> (eval_expr e1) * (eval_expr e2) | Quot(e1,e2) -> (eval_expr e1) / (eval_expr e2)