package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `ValueInvariant.Arg`

val context : Invariant.context

val scope : GoblintCil.fundec

val find : GoblintCil.varinfo -> Compound.t