Up – goblint » Goblint_lib » SharedFunctions » ApronOfCil » Arg

Parameter `ApronOfCil.Arg`

val allow_global : bool