Up – Package index » goblint » Library goblint.lib » Goblint_lib » WitnessUtil » Invariant » File

Parameter `Invariant.File`

goblint

val file : GoblintCil.Cil.file