You can search for identifiers within the package.
in-package search v0.2.0
libterm
Libterm.Senv
val get_solver_factory : unit -> (module Solver_sig.FACTORY)
module State (F : Solver_sig.FACTORY) : Libsse.Types.STATE_FACTORY