You can search for identifiers within the package.
in-package search v0.2.0
binsec_cli_xtrasec
Binsec_cli_xtrasec.Formula_decoder
DBA -> Formula decoder interface.
module Instr_to_Formula : sig ... end