You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Goblint_lib.PtranalAnalysis
CIL's GoblintCil.Ptranal for function pointer evaluation (ptranal).
GoblintCil.Ptranal
ptranal
Useful for sound analysis of function pointers without base.
module Spec : sig ... end