Goblint_lib.MayLocks
May lockset analysis and analysis of double locking (maylocks).
maylocks
module LF = LibraryFunctions
module Arg : LocksetAnalysis.MayArg
module Spec : sig ... end