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