sig
  type id = string
  type exp =
      Int of int
    | Add of Arith_syntax.exp * Arith_syntax.exp
    | Mul of Arith_syntax.exp * Arith_syntax.exp
    | Let of Arith_syntax.id * Arith_syntax.exp * Arith_syntax.exp
    | Id of Arith_syntax.id
end