aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/parsing.v
blob: 3d06d1d0f98fb53a07ad1a121e25c964932645bf (plain)
1
2
3
4
5
6
7
8
Section A.
Notation "*" := O (at level 8).
Notation "**" := O (at level 99).
Notation "***" := O (at level 9).
End A.
Notation "*" := O (at level 8).
Notation "**" := O (at level 99).
Notation "***" := O (at level 9).