Up
–
goblint
»
BoolDomain
» StdNames
Module
BoolDomain.StdNames
val
name : string
val
true_name : string
val
false_name : string