IntDomain.Size
val top_typ : GoblintCil.Cil.typ
The biggest type we support for integers.
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