goblint.lib
Goblint_lib.UpdateCil0
goblint.sites
goblint_sites_dune
goblint_sites_js
UpdateCil functions to avoid dependency cycles.
module NodeMap : sig ... end
val location_map : GoblintCil.Cil.location NodeMap.t ref
val init : unit -> unit
val getLoc : Node0.t -> GoblintCil.Cil.location
val store_node_location : Node0.t -> GoblintCil.Cil.location -> unit