MutexGlobals (p.goblint.2.3.0.doc.goblint.lib.Goblint

module VMutex : sig ... end

module VMutexInits : sig ... end

module VGlobal : sig ... end

module V : sig ... end

val iter_sys_vars : 'a -> VarQuery.t -> (V.t -> unit) -> unit