(* Abstract syntax for the simple expression language *)

datatype expr = 
    CstI of int
  | Var of string
  | Let of string * expr * expr
  | Prim of string * expr list