You can search for identifiers within the package.
in-package search v0.2.0
binsec.smtlib
Solver.Command
type t = string array
val pp : Format.formatter -> t -> unit
val to_string : t -> string