You can search for identifiers within the package.
in-package search v0.2.0
Ordering.
type (_, _) t =
| Lt : ('a, 'b) t
| Eq : ('a, 'a) t
| Gt : ('a, 'b) t
The ordering type embedding type equality for Eq.
Eq