You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
SecurityAnnotations.SCT2CT
val typ : SCT.typ -> CT.typ
val signature : SCT.signature -> CT.signature