index 3f3d5ec08f2b3da3e0c51b55f9b80916c638795d..1a8a2e661d8dc0943406c545b3413899d9fdfd50 100644 (file)
clock_t* = PosixCsys_types.clock_t;
size_t* = PosixCsys_types.size_t;
time_t* = PosixCsys_types.time_t;
- clockid_t* = PosixCsys_types.clockid_t;
- timer_t* = PosixCsys_types.timer_t;
pid_t* = PosixCsys_types.pid_t;
+ TYPE
+ timer_t* = PosixCsys_types.timer_t;
+ clockid_t* = PosixCsys_types.clockid_t;
+
TYPE
locale_t* = PosixClocale.locale_t;