Up – Package index » goblint » Library goblint.lib » Goblint_lib » ValueDomain » ValueInvariant » Arg

Parameter `ValueInvariant.Arg`

val context : Invariant.context

val scope : GoblintCil.fundec

val find : GoblintCil.varinfo -> Compound.t