goblint.lib
CommonPriv.ImplicitMutexGlobals
goblint.sites
goblint_sites_dune
goblint_sites_js
include module type of struct include MutexGlobalsBase end
val mutex_addr_to_varinfo : LockDomain.Addr.t -> CilType.Varinfo.t
val mutex_global : 'a -> 'a