Up – goblint » Goblint_lib » ApronDomain » S2 » AO0 » Arg

Module `AO0.Arg`

val allow_global : bool