Up – goblint » Goblint_lib » MyARG » CfgIntra » Cfg

Parameter `CfgIntra.Cfg`

val next : MyCFG.cfg