#type exp = 
 | V of string | C of int | P of exp*exp;;
Le type exp est défini.
#let rec eval e = match e with
 | V _ -> 0
 | C n -> n
 | P (e1, e2) -> (eval e1)+(eval e2);;
eval : exp -> int = <fun>
#let une_exp = P (P (V "x", C 25), C 10);;
une_exp : exp = P (P (V "x", C 25), C 10)
#eval une_exp;;
- : int = 35