You can search for identifiers within the package.
in-package search v0.2.0
binsec.dwarf
Cunit.Global
val vars : t -> Var.t list
vars cunit return the list of global variables declared in the compilation unit
vars cunit