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

Module `AO0.Arg`

val allow_global : bool