1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
type position =
| First
| Last
| Before of string
| After of string
type g_assoc = NonA | RightA | LeftA
let pr_assoc = function
| LeftA -> Pp.str "left associativity"
| RightA -> Pp.str "right associativity"
| NonA -> Pp.str "no associativity"