Up – goblint » Goblint_lib » IntDomainProperties » Valid » AD » Ikind

Module `AD.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind