Up – goblint » Goblint_lib » IntDomainProperties » AllNonAssoc » D » Ikind

Module `D.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind