MODULE PosixCsys_types ['sys/types.h'];

  (* generated by genposix.sh, do not modify *)

  IMPORT SYSTEM, PosixCtypes;

  TYPE
    char* = PosixCtypes.char;
    signed_char* = PosixCtypes.signed_char;
    unsigned_char* = PosixCtypes.unsigned_char;
    short* = PosixCtypes.short;
    short_int* = PosixCtypes.short_int;
    signed_short* = PosixCtypes.signed_short;
    signed_short_int* = PosixCtypes.signed_short_int;
    unsigned_short* = PosixCtypes.unsigned_short;
    unsigned_short_int* = PosixCtypes.unsigned_short_int;
    int* = PosixCtypes.int;
    signed* = PosixCtypes.signed;
    signed_int* = PosixCtypes.signed_int;
    unsigned* = PosixCtypes.unsigned;
    unsigned_int* = PosixCtypes.unsigned_int;
    long* = PosixCtypes.long;
    long_int* = PosixCtypes.long_int;
    signed_long* = PosixCtypes.signed_long;
    signed_long_int* = PosixCtypes.signed_long_int;
    unsigned_long* = PosixCtypes.unsigned_long;
    unsigned_long_int* = PosixCtypes.unsigned_long_int;
    long_long* = PosixCtypes.long_long;
    long_long_int* = PosixCtypes.long_long_int;
    signed_long_long* = PosixCtypes.signed_long_long;
    signed_long_long_int* = PosixCtypes.signed_long_long_int;
    unsigned_long_long* = PosixCtypes.unsigned_long_long;
    unsigned_long_long_int* = PosixCtypes.unsigned_long_long_int;
    float* = PosixCtypes.float;
    double* = PosixCtypes.double;
    long_double* = PosixCtypes.long_double;

  TYPE
    blkcnt_t* = INTEGER;
    blksize_t* = INTEGER;
    clock_t* = INTEGER;
    clockid_t* = INTEGER;
    dev_t* = LONGINT;
    fsblkcnt_t* = INTEGER;
    fsfilcnt_t* = INTEGER;
    gid_t* = INTEGER;
    id_t* = INTEGER;
    ino_t* = INTEGER;
    key_t* = INTEGER;
    mode_t* = INTEGER;
    nlink_t* = INTEGER;
    off_t* = INTEGER;
    pid_t* = INTEGER;
    pthread_attr_t* = RECORD [noalign] _: ARRAY [untagged] 36 OF BYTE END;
    pthread_barrier_t* = RECORD [noalign] _: ARRAY [untagged] 20 OF BYTE END;
    pthread_barrierattr_t* = INTEGER;
    pthread_cond_t* = RECORD [noalign] _: ARRAY [untagged] 48 OF BYTE END;
    pthread_condattr_t* = INTEGER;
    pthread_key_t* = INTEGER;
    pthread_mutex_t* = RECORD [noalign] _: ARRAY [untagged] 24 OF BYTE END;
    pthread_mutexattr_t* = INTEGER;
    pthread_once_t* = INTEGER;
    pthread_rwlock_t* = RECORD [noalign] _: ARRAY [untagged] 32 OF BYTE END;
    pthread_rwlockattr_t* = RECORD [noalign] _: ARRAY [untagged] 8 OF BYTE END;
    pthread_spinlock_t* = INTEGER;
    pthread_t* = INTEGER;
    size_t* = INTEGER;
    ssize_t* = INTEGER;
    suseconds_t* = INTEGER;
    time_t* = INTEGER;
    timer_t* = INTEGER;
    uid_t* = INTEGER;


END PosixCsys_types.