You can search for identifiers within the package.
in-package search v0.2.0
goblint.parallel
Goblint_parallel.GobMutex
A mutex that supports multiple threads on a domain when parallelism is supported as detected by the presence of the domainslib library. It is mocked to a no-op when domainslib is not available for backwards compatibility.
domainslib
type t
val create : unit -> t
val unlock : t -> unit
val lock : t -> unit