type ('value, 'shape) typ
val integer : ( unit, unit ) typ
val real : ( unit, unit ) typ
val void : ( 'v, 'v ) typ
val bool : ( 'v, 'v ) typ
val char : ( 'v, 'v ) typ
val schar : ( 'v, 'v ) typ
val uchar : ( 'v, 'v ) typ
val unit : ( 'v, 'v ) typ
val short : ( 'v, 'v ) typ
val ushort : ( 'v, 'v ) typ
val long : ( 'v, 'v ) typ
val ulong : ( 'v, 'v ) typ
val longlong : ( 'v, 'v ) typ
val ulonglong : ( 'v, 'v ) typ
val float : ( 'v, 'v ) typ
val double : ( 'v, 'v ) typ
val longdouble : ( 'v, 'v ) typ
val ptr : ( 'v, 's ) typ -> ( 'v, 'v ) typ
val array : ?size:int -> ( 'v, 's ) typ -> ( 'v, 's list ) typ
val const : ( 'v, 's ) typ -> ( 'v, 's ) typ
val stdlib_generated : ( 'v, 's ) typ -> ( 'v, 's ) typ