Module Dolmen_std.PrettySource

Pretty printing annotations

This module defines types to specify pretty printing annotations (such as associtativity, infix notations, etc...).

Sourcetype name = Dolmen_intf.Pretty.name =
  1. | Exact of string
  2. | Renamed of string
Sourcetype pos = Dolmen_intf.Pretty.pos =
  1. | Infix
  2. | Prefix
Sourcetype assoc = Dolmen_intf.Pretty.assoc =
  1. | Left
  2. | Right
Sourcetype 'a print = 'a Dolmen_intf.Pretty.print =
  1. | Ignore : _ print
  2. | P : (Format.formatter -> 'a -> unit) -> 'a print