You can search for identifiers within the package.
in-package search v0.2.0
binsec.smtlib
Binsec_smtlib
module Logger : sig ... end
module Lang : sig ... end
module Formula : sig ... end
module Bindings = Binsec_smtlib_bindings
module Solver : sig ... end