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

Module `AO0.Arg`

val allow_global : bool