type operation = | Add | Sub | Mul | Div (* arithmétique *) and comparaison = | Lt | Le | Gt | Ge | Eq | Ne (* comparaisons *)