You can search for identifiers within the package.
in-package search v0.2.0
val get_requests : unit -> Itp_communication.ide_request list
val notify : Itp_communication.notification -> unit