You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
Jasmin.Label
type label_kind =
| InternalLabel
| ExternalLabel
type label = BinNums.positive
type remote_label = Var0.funname * label