Up – goblint » Goblint_lib » ApronDomain » D » DWO » AO0 » Arg

Module `AO0.Arg`

val allow_global : bool