Up
–
goblint
»
IntDomain
»
IntDomWithDefaultIkind
» Ik
Parameter
IntDomWithDefaultIkind.Ik
val
ikind :
unit
->
GoblintCil
.Cil.ikind