package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Source file `afterConfig.ml`

1
2
3
4
5
6
7
8
9
(** Hooks which run after the runtime configuration is fully loaded. *)

let callbacks = ref []

let register callback =
  callbacks := callback :: !callbacks

let run () =
  List.iter (fun callback -> callback ()) !callbacks;
  callbacks := []