You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_utils
Core.Eq
Equality witness of types
type (_, _) eq =
| Eq : ('a, 'a) eq