You can search for identifiers within the package.
in-package search v0.2.0
checkct
Any.P
val name : string
val doc : string
type t
val default : t
include Binsec.Sigs.STR_INJECTIBLE with type t := t
val of_string : string -> t
val default_str : string option