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