package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `AnalyzeCFG.Cfg`

include MyCFG.CfgBackward

val prev : MyCFG.cfg

include MyCFG.CfgForward

val next : MyCFG.cfg