You can search for identifiers within the package.
in-package search v0.2.0
type builtin = [
| `Bool
| `Bytes
| `Char
| `Float
| `Int
| `Int32
| `Int64
| `Nativeint
| `String
| `Unit
]
type structural_without_object = [
| `Array
| `Constr
| `Tuple
| `Record
| `Variant
| `Attributes
| `Name
type structural = [
| structural_without_object
| `Object
type strictly_liftable = [
| builtin
| `Variable
| `Lazy
| `GADT
| `Exists
| `Absent
type comparable = [
| strictly_liftable
| `MapOpaque
| `Opaque
type arrow = [
| `Arrow
| `Labelled_arrow
type liftable = [
| comparable
| arrow
type visitable = [
type all = [
| liftable
| `Present
| `Poly