Module IntDomain.Size

val range : GoblintCil.Cil.ikind -> Z.t * Z.t
val is_cast_injective : from_type:GoblintCil.Cil.typ -> to_type:GoblintCil.Cil.typ -> bool
val bits : GoblintCil.Cil.ikind -> int * int
val cast : GoblintCil.Cil.ikind -> Z.t -> Z.t