Up – goblint » Goblint_lib » IntDomainProperties » OldSWithIkind » Ikind

Module `OldSWithIkind.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind