You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Goblint_lib.LocalFixpoint
Fixpoint iteration solvers local to a single transfer function (don't use a constraint system).
module Make (D : Lattice.S) : sig ... end