You can search for identifiers within the package.
in-package search v0.2.0
module RPC_server : sig ... end
Typed RPC services: server implementation.