You can search for identifiers within the package.
in-package search v0.2.0
goblint.solver
Goblint_solver.Td_simplified
Top-down solver with side effects. Simplified version of the td3 solver (td_simplified).
td_simplified
Top down solver that uses the box-operator for widening/narrowing at widening points.
module M = Messages
module Base : Goblint_constraint.SolverTypes.GenericEqSolver