type lambda_exp = Var of string
  | Lambda of string * lambda_exp
  | Appl of lambda_exp * lambda_exp;;