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