You can search for identifiers within the package.
in-package search v0.2.0
binsec.sse
Binsec_sse.Symbolic
include module type of struct include Binsec_symbolic end
module Default = Binsec_symbolic.Default
module Evaluator = Binsec_symbolic.Evaluator
module Metrics = Binsec_symbolic.Metrics
module Path = Binsec_symbolic.Path
module Smtlib = Binsec_symbolic.Smtlib
module State = Binsec_symbolic.State