You can search for identifiers within the package.
in-package search v0.2.0
goblint.constraint
ConstrSys.CurrentVarEqConstrSys
EqConstrSys where current_var indicates the variable whose right-hand side is currently being evaluated.
EqConstrSys
current_var
module S : EqConstrSys
val current_var : S.v option ref
module S : sig ... end