compilation/tp/tp-reduce-reduce/functions-multiple-arguments/AST.ml

type expression =
Var of Id.t
| Int of int
| Add of expression * expression
| Fun of boundN
| App of expression * expression list

and boundN = { bound : Id.t list;
               body : expression; }