let eval env =   exp_fold (fun x -> List.assoc x env) (fun x -> x) ( + );; val eval : (string * int) list -> exp -> int = <fun> eval ["x", 10] (Plus (Plus (Var "x",Int 4), Int 5));; - : int = 19