You can search for identifiers within the package.
in-package search v0.2.0
type error = [
| `Msg of string
| `PresentAbsentClash of string * Types.row * Types.row
]
exception Failure of error
val datatypes : (Types.datatype * Types.datatype) -> unit
val rows : (Types.row * Types.row) -> unit