Up – Index » goblint » Goblint_lib » SharedFunctions » ConvertArg

Module type `SharedFunctions.ConvertArg`

val allow_global : bool