package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `CommonPriv.ExplicitMutexGlobals`

include module type of struct include MutexGlobalsBase end

val mutex_addr_to_varinfo : LockDomain.Addr.t -> CilType.Varinfo.t

val mutex_global : Prelude.Ana.varinfo -> Prelude.Ana.varinfo