You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serapi_v8_14
Serapi_protocol.State
type t
val make : ?in_file:string -> ?ldir:Names.DirPath.t -> unit -> t
Create a state and possibly initialize Coq with an input_file