Module type IntDomain.Ikind

val ikind : unit -> GoblintCil.Cil.ikind