package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

Module `Dolmen_intf.Pretty`Source

Pretty printing annotations

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

Sourcetype name =

| Exact of string
| Renamed of string

Sourcetype pos =

| Infix
| Prefix

Sourcetype assoc =

| Left
| Right

Sourcetype 'a print =

| Ignore : _ print
| P : (Format.formatter -> 'a -> unit) -> 'a print