Up – goblint » Goblint_lib » IntDomainProperties » IntegerSet » Ikind

Parameter `IntegerSet.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind