package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.DeadlockDomain`

Deadlock domain.

module Lock = ValueDomain.Addr

module LockEvent : sig ... end

module MayLockEvents : sig ... end