You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Goblint_lib.AnalysisStateUtil
type mem_safety_violation =
| InvalidFree
| InvalidDeref
| InvalidMemTrack
| InvalidMemcleanup
val set_mem_safety_flag : mem_safety_violation -> unit