You can search for identifiers within the package.
in-package search v0.2.0
binsec
Simplification_dba_block.DC_elimination
val eval : Dhunk.t -> Dhunk.t