Types for interfacing with C.
This file should be kept free from IO.
An universe of C types.
Composites of C types
Alignment requirement of the type
The type of a field in a composite type.
Number of fields in a composite type
Implicit conversion of primitive C types to composites
The offset of a field in a composite type
All offsets of a composite type
Size of value of the type in bytes
What Idris type the C type is marshalled to