UpdateCil0
UpdateCil functions to avoid dependency cycles.
module NodeMap : sig ... end
val location_map : GoblintCil.Cil.location NodeMap.t Stdlib.ref
val init : unit -> unit
val getLoc : Node0.t -> GoblintCil.Cil.location
val store_node_location : Node0.t -> GoblintCil.Cil.location -> unit