helm/ocaml/cic_disambiguation/tests/match.txt

   1 [nat]
   2 match true:bool with
   3 [ true \Rightarrow O
   4 | false \Rightarrow (S O)
   5 ]
   6
   7 [nat]
   8 match O:nat with
   9 [ O \Rightarrow O
  10 | (S x) \Rightarrow (S (S x))
  11 ]
  12
  13 [nat]
  14 match nil:list with
  15 [ nil \Rightarrow nil
  16 | (cons x y) \Rightarrow (cons x y)
  17 ]
  18