package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type mach = {
  1. version_major : int;
  2. version_minor : int;
  3. version : string;
  4. underscore_name : bool;
  5. sizeof_short : int;
  6. sizeof_int : int;
  7. sizeof_bool : int;
  8. sizeof_long : int;
  9. sizeof_longlong : int;
  10. sizeof_ptr : int;
  11. sizeof_float : int;
  12. sizeof_double : int;
  13. sizeof_longdouble : int;
  14. sizeof_floatcomplex : int;
  15. sizeof_doublecomplex : int;
  16. sizeof_longdoublecomplex : int;
  17. sizeof_void : int;
  18. sizeof_fun : int;
  19. size_t : string;
  20. wchar_t : string;
  21. alignof_short : int;
  22. alignof_int : int;
  23. alignof_bool : int;
  24. alignof_long : int;
  25. alignof_longlong : int;
  26. alignof_ptr : int;
  27. alignof_enum : int;
  28. alignof_float : int;
  29. alignof_double : int;
  30. alignof_longdouble : int;
  31. alignof_floatcomplex : int;
  32. alignof_doublecomplex : int;
  33. alignof_longdoublecomplex : int;
  34. alignof_str : int;
  35. alignof_fun : int;
  36. alignof_aligned : int;
  37. char_is_unsigned : bool;
  38. const_string_literals : bool;
  39. little_endian : bool;
  40. __thread_is_keyword : bool;
  41. __builtin_va_list : bool;
}
val gcc : mach
val hasMSVC : bool
val msvc : mach
val theMachine : mach ref