Up – Index » goblint » Goblint_lib » SharedFunctions » Convert » Arg

Parameter `Convert.Arg`

val allow_global : bool