type t = 
  | NONE
  | ACUTE
  | AGRAVE