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_void : int;
  15. sizeof_fun : int;
  16. size_t : string;
  17. wchar_t : string;
  18. alignof_short : int;
  19. alignof_int : int;
  20. alignof_bool : int;
  21. alignof_long : int;
  22. alignof_longlong : int;
  23. alignof_ptr : int;
  24. alignof_enum : int;
  25. alignof_float : int;
  26. alignof_double : int;
  27. alignof_longdouble : int;
  28. alignof_str : int;
  29. alignof_fun : int;
  30. alignof_aligned : int;
  31. char_is_unsigned : bool;
  32. const_string_literals : bool;
  33. little_endian : bool;
  34. __thread_is_keyword : bool;
  35. __builtin_va_list : bool;
}
val gcc : mach
val hasMSVC : bool
val msvc : mach
val theMachine : mach Pervasives.ref