Up – Index » goblint » Goblint_lib » IntDomainProperties » All » D » Ikind

Module `D.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind