1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
(** Pretty printing annotations
This module defines types to specify pretty printing annotations
(such as associtativity, infix notations, etc...).
*)
type name = Dolmen_intf.Pretty.name =
| Exact of string
| Renamed of string
type pos = Dolmen_intf.Pretty.pos =
| Infix
| Prefix
type assoc = Dolmen_intf.Pretty.assoc =
| Left
| Right
type 'a print = 'a Dolmen_intf.Pretty.print =
| Ignore : _ print
| P : (Format.formatter -> 'a -> unit) -> 'a print