You can search for identifiers within the package.
in-package search v0.2.0
traits
Traits.Ordering
Relative ordering
type t =
| Less
| Equal
| Greater
Relative ordering definition
module PartialEq : sig ... end
module Eq : sig ... end