package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type sym = string
type cabs_identifier = string
type integer_value_base = int
type integerBaseType =
  1. | Ichar
  2. | Short
  3. | Int_
  4. | Long
  5. | LongLong
  6. | IntN_t of int
  7. | Int_leastN_t of int
  8. | Int_fastN_t of int
  9. | Intmax_t
  10. | Intptr_t
type integerType =
  1. | Char
  2. | Bool
  3. | Signed of integerBaseType
  4. | Unsigned of integerBaseType
  5. | Enum of sym
  6. | Wchar_t
  7. | Wint_t
  8. | Size_t
  9. | Ptrdiff_t
type realFloatingType =
  1. | Float
  2. | Double
  3. | LongDouble
type floatingType =
  1. | RealFloating of realFloatingType
type basicType =
  1. | Integer of integerType
  2. | Floating of floatingType
type qualifiers = {
  1. const : bool;
  2. restrict : bool;
  3. volatile : bool;
}
type ctype_ =
  1. | Void
  2. | Basic of basicType
  3. | Array of ctype * Nat_big_num.num option
  4. | Function of bool * qualifiers * ctype * (qualifiers * ctype * bool) list * bool
  5. | Pointer of qualifiers * ctype
  6. | Atomic of ctype
  7. | Struct of sym
  8. | Union of sym
and ctype =
  1. | Ctype of ctype_ list
type struct_tag = sym
type union_tag = sym
type member_id = sym
type tag_definition =
  1. | StructDef of (cabs_identifier * (qualifiers * ctype)) list
  2. | UnionDef of (cabs_identifier * (qualifiers * ctype)) list
type shift_path_element =
  1. | SPE_array of ctype * integer_value_base
  2. | SPE_member of sym * cabs_identifier