Module IR.IntegerWidths

The Smallfoot Intermediate Language: Types

type t = {
  1. char_width : int;
  2. short_width : int;
  3. int_width : int;
  4. long_width : int;
  5. longlong_width : int;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val java : t
val load : IBase.SourceFile.t -> t option
module SQLite : sig ... end
val width_of_ikind : t -> Typ.ikind -> int
val range_of_ikind : t -> Typ.ikind -> Z.t * Z.t