package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `DomFunctor.ExpEval`

type t = BaseComponents(PrivD).t

val eval_exp : t -> GoblintCil.Cil.exp -> IntOps.BigIntOps.t option