Up – goblint » Goblint_lib » AffineEqualityDomain » D » Arg

Module `D.Arg`

val allow_global : bool