goblint.lib
CommonPriv.MutexGlobalsBase
goblint.sites
goblint_sites_dune
goblint_sites_js
val mutex_addr_to_varinfo : LockDomain.Addr.t -> CilType.Varinfo.t