Up
–
Index
»
goblint
»
Goblint_lib
»
SharedFunctions
»
Convert
» Arg
Parameter
Convert.Arg
val
allow_global : bool