Up – goblint » Goblint_lib » ApronDomain » AOps0 » Arg

Module `AOps0.Arg`

val allow_global : bool