You can search for identifiers within the package.
in-package search v0.2.0
frama-c-server.core
Server.Kernel_properties
Kernel Property Status
val reload : unit -> unit
Trigger a full reload for the table of property status.