You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
SecurityAnnotations.CT
type typ = simple_level list
type signature = typ signature_gen
val public : simple_level
val secret : simple_level
val get_signature : Annotations.annotations -> signature option
module PP : sig ... end
module Parse : sig ... end