Module Dolmen_intf.PrettySource

Pretty printing annotations

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

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