blob: a89837dd127af6160ce5c9d78f7027ca27d1dc94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(* DO NOT MODIFY THIS FILE DIRECTLY *)
(* It is autogenerated by dev/tools/update-compat.py. *)
Set Warnings "+deprecated".
Notation bar := option (compat "8.7").
Definition foo (x: nat) : nat :=
match x with
| 0 => 0
| S bar => bar
end.
|
