Up
–
goblint
»
IntDomain
» PtrDiffIkind
Module
IntDomain.PtrDiffIkind
val
ikind :
unit
->
GoblintCil
.Cil.ikind