package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Deadlock`

Deadlock analysis.

val forbiddenList : 
  (DeadlockDomain.myowntypeEntry * DeadlockDomain.myowntypeEntry) list
    Prelude.Ana.ref

module Spec : sig ... end