You can search for identifiers within the package.
in-package search v0.2.0
binsec
Ida_cfg.S
type t
val block : t -> VA.t
val func : t -> Function.t
val create : VA.t -> Function.t -> t