Up
–
goblint
»
BoolDomain
»
MakeBool
» Names
Parameter
MakeBool.Names
val
name : string
val
true_name : string
val
false_name : string