package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `MainFunctor.RVEval`

type t = BaseComponents(Priv.D).t

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