package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `CommonPriv.MutexGlobals`

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