You can search for identifiers within the package.
in-package search v0.2.0
frama-c-eva.server_api
Server_api.Value_requests
Requests registered to the Frama-C server; nothing is exported.