(* Syntaxe abstraite des expressions arithétiques avec une variable X *)

type expression = 
  | Binexp of binop * expression * expression
  | Int of int
  | X (* variable *)
and binop = Plus | Minus | Times | Div
      ;;