type expression =
| Produit of (expression * expression)
| Somme of (expression * expression)
| Immediat of int
;;
type expression =
Produit of (expression * expression)
| Somme of (expression * expression)
| Immediat of int
# let e = Produit (Somme (Immediat 14, Immediat 43), Immediat 2);;
val e : expression = Produit (Somme (Immediat 14, Immediat 43), Immediat 2)
# let rec eval_expr = function
| Produit (lhs, rhs) -> (eval_expr lhs) * (eval_expr rhs)
| Somme (lhs, rhs) -> (eval_expr lhs) + (eval_expr rhs)
| Immediat x -> x
;;
val eval_expr : expression -> int = <fun>
# eval_expr e;;
- : int = 114