You can search for identifiers within the package.
in-package search v0.2.0
type ('x, 'y) t
val service : ('x, 'y) t -> 'result service -> 'result service_result