You can search for identifiers within the package.
in-package search v0.2.0
goblint.config
AfterConfig
Hooks which run after the runtime configuration is fully loaded.
val callbacks : (unit -> unit) list ref
val register : (unit -> unit) -> unit
val run : unit -> unit