index e9ece924f2de5b57b2500c4fc8fd03fac663a2fd..9f2033bb18e7de473dcf3b3823ffb422e4454b87 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;