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)