Up
–
goblint
»
Goblint_lib
»
SharedFunctions
» ConvertArg
Module type
SharedFunctions.ConvertArg
val
allow_global : bool