#type couleur = 
 | Coeur | Pique | Carreau | Trèfle;;
Le type couleur est défini.
#type carte = 
 | Dame of couleur 
 | Petit of int*couleur 
 | Joker;;
Le type carte est défini.
#let valeurfoo c = match c with
 | Dame _ -> 20
 | Petit (10, c)-> 10
 | Petit (x, y) -> 
   if x = 9 & y = Coeur then 11 else 0
 | Joker -> 1;;
valeurfoo : carte -> int = <fun>
#let dameCoeur = Dame Coeur 
 and petit = Petit (7, Pique);;
dameCoeur : carte = Dame Coeur
petit : carte = Petit (7, Pique)
#valeurfoo petit;;
- : int = 0