arjunguha

open Arith_syntax

let rec subst (x : id) (v : int) (e : exp) : exp = 
  match e with
  | Int _ -> e
  | Add (e1, e2) -> Add (subst x v e1, subst x v e2)
  | Mul (e1, e2) -> Mul (subst x v e1, subst x v e2)
  | Let (y, e1, e2) ->
    Let (y, subst x v e1, if x = y then e2 else subst x v e2)
  | Id y -> if x = y then Int v else Id y