You can search for identifiers within the package.
in-package search v0.2.0
GT
GT.eq_arrow_t
inherit arrow_t
method c_Arrow : ('a, 'b) arrow -> ('a, 'b) arrow -> bool