Up
–
goblint
»
IntDomain_intf
» Ikind
Module type
IntDomain_intf.Ikind
val
ikind :
unit
->
GoblintCil
.Cil.ikind