cprover
|
Go to the source code of this file.
Typedefs | |
typedef _Float16 __gcc_v8hf | __attribute__((__vector_size__(16))) |
typedef _Float16 __gcc_v32hf __attribute__((__vector_size__(64))) |
Definition at line 1 of file gcc_builtin_headers_types_gcc7plus.h.