Up
–
Index
»
goblint
»
Goblint_lib
»
IntDomainProperties
»
OldSWithIkind
» Ikind
Module
OldSWithIkind.Ikind
val
ikind :
unit
->
GoblintCil
.Cil.ikind