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

Module `AO0.Arg`

val allow_global : bool