The language: syntax
type exp =
- | Eint of int
- | Var of ide
- | Sum of exp * exp
- | Diff of exp * exp
- | Ifthenelse of exp * exp * exp
- | Fun of ide * exp
- | Rec of ide * exp
- | Appl of exp * exp
- | Let of ide * exp * exp
- | Letrec of ide * exp * exp
- | Letmutrec of (ide * exp) * (ide *exp) * exp