You can search for identifiers within the package.
in-package search v0.2.0
goblint.solver
Goblint_solver.Td_simplified_ref
Top-down solver with side effects. Baseline for comparisons with td_parallel solvers (td_simplified_ref). This is the same as (td_simplified), but it uses records for solver that instead of multiple hashmaps.
td_simplified_ref
td_simplified
module M = Messages
module Base : Goblint_constraint.SolverTypes.GenericEqSolver