Up – goblint » Goblint_lib » IntDomainProperties » WithIkind » Ik

Parameter `WithIkind.Ik`

val ikind : unit -> GoblintCil.Cil.ikind