Up – goblint » Goblint_lib » IntDomainProperties » WithIkind » Ikind

Module `WithIkind.Ikind`

val ikind : unit -> GoblintCil.Cil.ikind