You can search for identifiers within the package.
in-package search v0.2.0
vscoq-language-server.lsp
Client.DocumentProofsResult
type t = {
proofs : ProofState.proof_block list;
}
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t