package linksem

  1. Overview
  2. Docs
package linksem
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct