You can search for identifiers within the package.
in-package search v0.2.0
Pretty printing annotations
This module defines types to specify pretty printing annotations (such as associtativity, infix notations, etc...).
type name =
| Exact of string
| Renamed of string
type pos =
| Infix
| Prefix
type assoc =
| Left
| Right