You can search for identifiers within the package.
in-package search v0.2.0
grenier.strong
Strong.Order
type (_, _) t =
| Lt
| Eq : ('a, 'a) t
| Gt