package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `MutexAnalysis.MyParam`

module G = LockDomain.Simple

val effect_fun : 
  ?write:bool ->
  Lockset.ReverseAddrSet.t ->
  LockDomain.Mutexes.t

val check_fun : ?write:bool -> Lockset.ReverseAddrSet.t -> LockDomain.Mutexes.t