1 /* This file is automatically generated. Do not edit. */
4 #ifndef _MLTON_BASIS_FFI_H_
6 #define _MLTON_BASIS_FFI_H_
8 PRIVATE
extern C_Int_t CommandLine_argc
;
9 PRIVATE
extern C_StringArray_t CommandLine_argv
;
10 PRIVATE
extern C_String_t CommandLine_commandName
;
11 PRIVATE C_String_t
Cygwin_toFullWindowsPath(NullString8_t
);
12 PRIVATE
C_Errno_t(C_Int_t
) Date_gmTime(Ref(C_Time_t
));
13 PRIVATE C_Double_t
Date_localOffset(void);
14 PRIVATE
C_Errno_t(C_Int_t
) Date_localTime(Ref(C_Time_t
));
15 PRIVATE
C_Errno_t(C_Time_t
) Date_mkTime(void);
16 PRIVATE C_Size_t
Date_strfTime(Array(Char8_t
),C_Size_t
,NullString8_t
);
17 PRIVATE C_Int_t
Date_Tm_getHour(void);
18 PRIVATE C_Int_t
Date_Tm_getIsDst(void);
19 PRIVATE C_Int_t
Date_Tm_getMDay(void);
20 PRIVATE C_Int_t
Date_Tm_getMin(void);
21 PRIVATE C_Int_t
Date_Tm_getMon(void);
22 PRIVATE C_Int_t
Date_Tm_getSec(void);
23 PRIVATE C_Int_t
Date_Tm_getWDay(void);
24 PRIVATE C_Int_t
Date_Tm_getYDay(void);
25 PRIVATE C_Int_t
Date_Tm_getYear(void);
26 PRIVATE
void Date_Tm_setHour(C_Int_t
);
27 PRIVATE
void Date_Tm_setIsDst(C_Int_t
);
28 PRIVATE
void Date_Tm_setMDay(C_Int_t
);
29 PRIVATE
void Date_Tm_setMin(C_Int_t
);
30 PRIVATE
void Date_Tm_setMon(C_Int_t
);
31 PRIVATE
void Date_Tm_setSec(C_Int_t
);
32 PRIVATE
void Date_Tm_setWDay(C_Int_t
);
33 PRIVATE
void Date_Tm_setYDay(C_Int_t
);
34 PRIVATE
void Date_Tm_setYear(C_Int_t
);
35 PRIVATE C_Int_t
IEEEReal_getRoundingMode(void);
36 PRIVATE
extern const C_Int_t IEEEReal_RoundingMode_FE_DOWNWARD
;
37 PRIVATE
extern const C_Int_t IEEEReal_RoundingMode_FE_NOSUPPORT
;
38 PRIVATE
extern const C_Int_t IEEEReal_RoundingMode_FE_TONEAREST
;
39 PRIVATE
extern const C_Int_t IEEEReal_RoundingMode_FE_TOWARDZERO
;
40 PRIVATE
extern const C_Int_t IEEEReal_RoundingMode_FE_UPWARD
;
41 PRIVATE C_Int_t
IEEEReal_setRoundingMode(C_Int_t
);
42 PRIVATE
void MinGW_clearNonBlock(C_Fd_t
);
43 PRIVATE C_Size_t
MinGW_getTempPath(C_Size_t
,Array(Char8_t
));
44 PRIVATE
void MinGW_setNonBlock(C_Fd_t
);
45 PRIVATE
__attribute__((noreturn
)) void MLton_bug(String8_t
);
46 PRIVATE
extern const C_Int_t MLton_Itimer_PROF
;
47 PRIVATE
extern const C_Int_t MLton_Itimer_REAL
;
48 PRIVATE
C_Errno_t(C_Int_t
) MLton_Itimer_set(C_Int_t
,C_Time_t
,C_SUSeconds_t
,C_Time_t
,C_SUSeconds_t
);
49 PRIVATE
extern const C_Int_t MLton_Itimer_VIRTUAL
;
50 PRIVATE
C_Errno_t(C_PId_t
) MLton_Process_spawne(NullString8_t
,Array(NullString8_t
),Array(NullString8_t
));
51 PRIVATE
C_Errno_t(C_PId_t
) MLton_Process_spawnp(NullString8_t
,Array(NullString8_t
));
52 PRIVATE
extern const C_Int_t MLton_Rlimit_AS
;
53 PRIVATE
extern const C_Int_t MLton_Rlimit_CORE
;
54 PRIVATE
extern const C_Int_t MLton_Rlimit_CPU
;
55 PRIVATE
extern const C_Int_t MLton_Rlimit_DATA
;
56 PRIVATE
extern const C_Int_t MLton_Rlimit_FSIZE
;
57 PRIVATE
C_Errno_t(C_Int_t
) MLton_Rlimit_get(C_Int_t
);
58 PRIVATE C_RLim_t
MLton_Rlimit_getHard(void);
59 PRIVATE C_RLim_t
MLton_Rlimit_getSoft(void);
60 PRIVATE
extern const C_RLim_t MLton_Rlimit_INFINITY
;
61 PRIVATE
extern const C_Int_t MLton_Rlimit_MEMLOCK
;
62 PRIVATE
extern const C_Int_t MLton_Rlimit_NOFILE
;
63 PRIVATE
extern const C_Int_t MLton_Rlimit_NPROC
;
64 PRIVATE
extern const C_Int_t MLton_Rlimit_RSS
;
65 PRIVATE
C_Errno_t(C_Int_t
) MLton_Rlimit_set(C_Int_t
,C_RLim_t
,C_RLim_t
);
66 PRIVATE
extern const C_Int_t MLton_Rlimit_STACK
;
67 PRIVATE C_Time_t
MLton_Rusage_children_stime_sec(void);
68 PRIVATE C_SUSeconds_t
MLton_Rusage_children_stime_usec(void);
69 PRIVATE C_Time_t
MLton_Rusage_children_utime_sec(void);
70 PRIVATE C_SUSeconds_t
MLton_Rusage_children_utime_usec(void);
71 PRIVATE C_Time_t
MLton_Rusage_gc_stime_sec(void);
72 PRIVATE C_SUSeconds_t
MLton_Rusage_gc_stime_usec(void);
73 PRIVATE C_Time_t
MLton_Rusage_gc_utime_sec(void);
74 PRIVATE C_SUSeconds_t
MLton_Rusage_gc_utime_usec(void);
75 PRIVATE
void MLton_Rusage_getrusage(void);
76 PRIVATE C_Time_t
MLton_Rusage_self_stime_sec(void);
77 PRIVATE C_SUSeconds_t
MLton_Rusage_self_stime_usec(void);
78 PRIVATE C_Time_t
MLton_Rusage_self_utime_sec(void);
79 PRIVATE C_SUSeconds_t
MLton_Rusage_self_utime_usec(void);
80 PRIVATE
void MLton_Syslog_closelog(void);
81 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_AUTH
;
82 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_CRON
;
83 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_DAEMON
;
84 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_KERN
;
85 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL0
;
86 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL1
;
87 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL2
;
88 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL3
;
89 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL4
;
90 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL5
;
91 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL6
;
92 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL7
;
93 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_LPR
;
94 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_MAIL
;
95 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_NEWS
;
96 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_SYSLOG
;
97 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_USER
;
98 PRIVATE
extern const C_Int_t MLton_Syslog_Facility_LOG_UUCP
;
99 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_CONS
;
100 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_NDELAY
;
101 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_NOWAIT
;
102 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_ODELAY
;
103 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_PERROR
;
104 PRIVATE
extern const C_Int_t MLton_Syslog_Logopt_LOG_PID
;
105 PRIVATE
void MLton_Syslog_openlog(NullString8_t
,C_Int_t
,C_Int_t
);
106 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_ALERT
;
107 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_CRIT
;
108 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_DEBUG
;
109 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_EMERG
;
110 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_ERR
;
111 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_INFO
;
112 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_NOTICE
;
113 PRIVATE
extern const C_Int_t MLton_Syslog_Severity_LOG_WARNING
;
114 PRIVATE
void MLton_Syslog_syslog(C_Int_t
,NullString8_t
);
115 PRIVATE Word32_t
Net_htonl(Word32_t
);
116 PRIVATE Word16_t
Net_htons(Word16_t
);
117 PRIVATE Word32_t
Net_ntohl(Word32_t
);
118 PRIVATE Word16_t
Net_ntohs(Word16_t
);
119 PRIVATE C_Int_t
NetHostDB_getByAddress(Vector(Word8_t
),C_Socklen_t
);
120 PRIVATE C_Int_t
NetHostDB_getByName(NullString8_t
);
121 PRIVATE
void NetHostDB_getEntryAddrsN(C_Int_t
,Array(Word8_t
));
122 PRIVATE C_Int_t
NetHostDB_getEntryAddrsNum(void);
123 PRIVATE C_Int_t
NetHostDB_getEntryAddrType(void);
124 PRIVATE C_String_t
NetHostDB_getEntryAliasesN(C_Int_t
);
125 PRIVATE C_Int_t
NetHostDB_getEntryAliasesNum(void);
126 PRIVATE C_Int_t
NetHostDB_getEntryLength(void);
127 PRIVATE C_String_t
NetHostDB_getEntryName(void);
128 PRIVATE
C_Errno_t(C_Int_t
) NetHostDB_getHostName(Array(Char8_t
),C_Size_t
);
129 PRIVATE
extern const C_Int_t NetHostDB_INADDR_ANY
;
130 PRIVATE
extern const C_Size_t NetHostDB_inAddrSize
;
131 PRIVATE C_Int_t
NetProtDB_getByName(NullString8_t
);
132 PRIVATE C_Int_t
NetProtDB_getByNumber(C_Int_t
);
133 PRIVATE C_String_t
NetProtDB_getEntryAliasesN(C_Int_t
);
134 PRIVATE C_Int_t
NetProtDB_getEntryAliasesNum(void);
135 PRIVATE C_String_t
NetProtDB_getEntryName(void);
136 PRIVATE C_Int_t
NetProtDB_getEntryProto(void);
137 PRIVATE C_Int_t
NetServDB_getByName(NullString8_t
,NullString8_t
);
138 PRIVATE C_Int_t
NetServDB_getByNameNull(NullString8_t
);
139 PRIVATE C_Int_t
NetServDB_getByPort(C_Int_t
,NullString8_t
);
140 PRIVATE C_Int_t
NetServDB_getByPortNull(C_Int_t
);
141 PRIVATE C_String_t
NetServDB_getEntryAliasesN(C_Int_t
);
142 PRIVATE C_Int_t
NetServDB_getEntryAliasesNum(void);
143 PRIVATE C_String_t
NetServDB_getEntryName(void);
144 PRIVATE C_Int_t
NetServDB_getEntryPort(void);
145 PRIVATE C_String_t
NetServDB_getEntryProto(void);
146 PRIVATE
C_Errno_t(C_Int_t
) OS_IO_poll(Vector(C_Fd_t
),Vector(C_Short_t
),C_NFds_t
,C_Int_t
,Array(C_Short_t
));
147 PRIVATE
extern const C_Short_t OS_IO_POLLIN
;
148 PRIVATE
extern const C_Short_t OS_IO_POLLOUT
;
149 PRIVATE
extern const C_Short_t OS_IO_POLLPRI
;
150 PRIVATE
void Posix_Error_clearErrno(void);
151 PRIVATE
extern const C_Int_t Posix_Error_E2BIG
;
152 PRIVATE
extern const C_Int_t Posix_Error_EACCES
;
153 PRIVATE
extern const C_Int_t Posix_Error_EADDRINUSE
;
154 PRIVATE
extern const C_Int_t Posix_Error_EADDRNOTAVAIL
;
155 PRIVATE
extern const C_Int_t Posix_Error_EAFNOSUPPORT
;
156 PRIVATE
extern const C_Int_t Posix_Error_EAGAIN
;
157 PRIVATE
extern const C_Int_t Posix_Error_EALREADY
;
158 PRIVATE
extern const C_Int_t Posix_Error_EBADF
;
159 PRIVATE
extern const C_Int_t Posix_Error_EBADMSG
;
160 PRIVATE
extern const C_Int_t Posix_Error_EBUSY
;
161 PRIVATE
extern const C_Int_t Posix_Error_ECANCELED
;
162 PRIVATE
extern const C_Int_t Posix_Error_ECHILD
;
163 PRIVATE
extern const C_Int_t Posix_Error_ECONNABORTED
;
164 PRIVATE
extern const C_Int_t Posix_Error_ECONNREFUSED
;
165 PRIVATE
extern const C_Int_t Posix_Error_ECONNRESET
;
166 PRIVATE
extern const C_Int_t Posix_Error_EDEADLK
;
167 PRIVATE
extern const C_Int_t Posix_Error_EDESTADDRREQ
;
168 PRIVATE
extern const C_Int_t Posix_Error_EDOM
;
169 PRIVATE
extern const C_Int_t Posix_Error_EDQUOT
;
170 PRIVATE
extern const C_Int_t Posix_Error_EEXIST
;
171 PRIVATE
extern const C_Int_t Posix_Error_EFAULT
;
172 PRIVATE
extern const C_Int_t Posix_Error_EFBIG
;
173 PRIVATE
extern const C_Int_t Posix_Error_EHOSTUNREACH
;
174 PRIVATE
extern const C_Int_t Posix_Error_EIDRM
;
175 PRIVATE
extern const C_Int_t Posix_Error_EILSEQ
;
176 PRIVATE
extern const C_Int_t Posix_Error_EINPROGRESS
;
177 PRIVATE
extern const C_Int_t Posix_Error_EINTR
;
178 PRIVATE
extern const C_Int_t Posix_Error_EINVAL
;
179 PRIVATE
extern const C_Int_t Posix_Error_EIO
;
180 PRIVATE
extern const C_Int_t Posix_Error_EISCONN
;
181 PRIVATE
extern const C_Int_t Posix_Error_EISDIR
;
182 PRIVATE
extern const C_Int_t Posix_Error_ELOOP
;
183 PRIVATE
extern const C_Int_t Posix_Error_EMFILE
;
184 PRIVATE
extern const C_Int_t Posix_Error_EMLINK
;
185 PRIVATE
extern const C_Int_t Posix_Error_EMSGSIZE
;
186 PRIVATE
extern const C_Int_t Posix_Error_EMULTIHOP
;
187 PRIVATE
extern const C_Int_t Posix_Error_ENAMETOOLONG
;
188 PRIVATE
extern const C_Int_t Posix_Error_ENETDOWN
;
189 PRIVATE
extern const C_Int_t Posix_Error_ENETRESET
;
190 PRIVATE
extern const C_Int_t Posix_Error_ENETUNREACH
;
191 PRIVATE
extern const C_Int_t Posix_Error_ENFILE
;
192 PRIVATE
extern const C_Int_t Posix_Error_ENOBUFS
;
193 PRIVATE
extern const C_Int_t Posix_Error_ENODATA
;
194 PRIVATE
extern const C_Int_t Posix_Error_ENODEV
;
195 PRIVATE
extern const C_Int_t Posix_Error_ENOENT
;
196 PRIVATE
extern const C_Int_t Posix_Error_ENOEXEC
;
197 PRIVATE
extern const C_Int_t Posix_Error_ENOLCK
;
198 PRIVATE
extern const C_Int_t Posix_Error_ENOLINK
;
199 PRIVATE
extern const C_Int_t Posix_Error_ENOMEM
;
200 PRIVATE
extern const C_Int_t Posix_Error_ENOMSG
;
201 PRIVATE
extern const C_Int_t Posix_Error_ENOPROTOOPT
;
202 PRIVATE
extern const C_Int_t Posix_Error_ENOSPC
;
203 PRIVATE
extern const C_Int_t Posix_Error_ENOSR
;
204 PRIVATE
extern const C_Int_t Posix_Error_ENOSTR
;
205 PRIVATE
extern const C_Int_t Posix_Error_ENOSYS
;
206 PRIVATE
extern const C_Int_t Posix_Error_ENOTCONN
;
207 PRIVATE
extern const C_Int_t Posix_Error_ENOTDIR
;
208 PRIVATE
extern const C_Int_t Posix_Error_ENOTEMPTY
;
209 PRIVATE
extern const C_Int_t Posix_Error_ENOTSOCK
;
210 PRIVATE
extern const C_Int_t Posix_Error_ENOTSUP
;
211 PRIVATE
extern const C_Int_t Posix_Error_ENOTTY
;
212 PRIVATE
extern const C_Int_t Posix_Error_ENXIO
;
213 PRIVATE
extern const C_Int_t Posix_Error_EOPNOTSUPP
;
214 PRIVATE
extern const C_Int_t Posix_Error_EOVERFLOW
;
215 PRIVATE
extern const C_Int_t Posix_Error_EPERM
;
216 PRIVATE
extern const C_Int_t Posix_Error_EPIPE
;
217 PRIVATE
extern const C_Int_t Posix_Error_EPROTO
;
218 PRIVATE
extern const C_Int_t Posix_Error_EPROTONOSUPPORT
;
219 PRIVATE
extern const C_Int_t Posix_Error_EPROTOTYPE
;
220 PRIVATE
extern const C_Int_t Posix_Error_ERANGE
;
221 PRIVATE
extern const C_Int_t Posix_Error_EROFS
;
222 PRIVATE
extern const C_Int_t Posix_Error_ESPIPE
;
223 PRIVATE
extern const C_Int_t Posix_Error_ESRCH
;
224 PRIVATE
extern const C_Int_t Posix_Error_ESTALE
;
225 PRIVATE
extern const C_Int_t Posix_Error_ETIME
;
226 PRIVATE
extern const C_Int_t Posix_Error_ETIMEDOUT
;
227 PRIVATE
extern const C_Int_t Posix_Error_ETXTBSY
;
228 PRIVATE
extern const C_Int_t Posix_Error_EWOULDBLOCK
;
229 PRIVATE
extern const C_Int_t Posix_Error_EXDEV
;
230 PRIVATE C_Int_t
Posix_Error_getErrno(void);
231 PRIVATE C_String_t
Posix_Error_strError(C_Int_t
);
232 PRIVATE
extern const C_Int_t Posix_FileSys_A_F_OK
;
233 PRIVATE
extern const C_Int_t Posix_FileSys_A_R_OK
;
234 PRIVATE
extern const C_Int_t Posix_FileSys_A_W_OK
;
235 PRIVATE
extern const C_Int_t Posix_FileSys_A_X_OK
;
236 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_access(NullString8_t
,C_Int_t
);
237 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_chdir(NullString8_t
);
238 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_chmod(NullString8_t
,C_Mode_t
);
239 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_chown(NullString8_t
,C_UId_t
,C_GId_t
);
240 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_Dirstream_closeDir(C_DirP_t
);
241 PRIVATE
C_Errno_t(C_DirP_t
) Posix_FileSys_Dirstream_openDir(NullString8_t
);
242 PRIVATE
C_Errno_t(C_String_t
) Posix_FileSys_Dirstream_readDir(C_DirP_t
);
243 PRIVATE
void Posix_FileSys_Dirstream_rewindDir(C_DirP_t
);
244 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_fchdir(C_Fd_t
);
245 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_fchmod(C_Fd_t
,C_Mode_t
);
246 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_fchown(C_Fd_t
,C_UId_t
,C_GId_t
);
247 PRIVATE
C_Errno_t(C_Long_t
) Posix_FileSys_fpathconf(C_Fd_t
,C_Int_t
);
248 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_ftruncate(C_Fd_t
,C_Off_t
);
249 PRIVATE
C_Errno_t(C_String_t
) Posix_FileSys_getcwd(Array(Char8_t
),C_Size_t
);
250 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_link(NullString8_t
,NullString8_t
);
251 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_mkdir(NullString8_t
,C_Mode_t
);
252 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_mkfifo(NullString8_t
,C_Mode_t
);
253 PRIVATE
extern const C_Int_t Posix_FileSys_O_APPEND
;
254 PRIVATE
extern const C_Int_t Posix_FileSys_O_BINARY
;
255 PRIVATE
extern const C_Int_t Posix_FileSys_O_CREAT
;
256 PRIVATE
extern const C_Int_t Posix_FileSys_O_DSYNC
;
257 PRIVATE
extern const C_Int_t Posix_FileSys_O_EXCL
;
258 PRIVATE
extern const C_Int_t Posix_FileSys_O_NOCTTY
;
259 PRIVATE
extern const C_Int_t Posix_FileSys_O_NONBLOCK
;
260 PRIVATE
extern const C_Int_t Posix_FileSys_O_RDONLY
;
261 PRIVATE
extern const C_Int_t Posix_FileSys_O_RDWR
;
262 PRIVATE
extern const C_Int_t Posix_FileSys_O_RSYNC
;
263 PRIVATE
extern const C_Int_t Posix_FileSys_O_SYNC
;
264 PRIVATE
extern const C_Int_t Posix_FileSys_O_TEXT
;
265 PRIVATE
extern const C_Int_t Posix_FileSys_O_TRUNC
;
266 PRIVATE
extern const C_Int_t Posix_FileSys_O_WRONLY
;
267 PRIVATE
C_Errno_t(C_Fd_t
) Posix_FileSys_open2(NullString8_t
,C_Int_t
);
268 PRIVATE
C_Errno_t(C_Fd_t
) Posix_FileSys_open3(NullString8_t
,C_Int_t
,C_Mode_t
);
269 PRIVATE
C_Errno_t(C_Long_t
) Posix_FileSys_pathconf(NullString8_t
,C_Int_t
);
270 PRIVATE
extern const C_Int_t Posix_FileSys_PC_ALLOC_SIZE_MIN
;
271 PRIVATE
extern const C_Int_t Posix_FileSys_PC_ASYNC_IO
;
272 PRIVATE
extern const C_Int_t Posix_FileSys_PC_CHOWN_RESTRICTED
;
273 PRIVATE
extern const C_Int_t Posix_FileSys_PC_FILESIZEBITS
;
274 PRIVATE
extern const C_Int_t Posix_FileSys_PC_LINK_MAX
;
275 PRIVATE
extern const C_Int_t Posix_FileSys_PC_MAX_CANON
;
276 PRIVATE
extern const C_Int_t Posix_FileSys_PC_MAX_INPUT
;
277 PRIVATE
extern const C_Int_t Posix_FileSys_PC_NAME_MAX
;
278 PRIVATE
extern const C_Int_t Posix_FileSys_PC_NO_TRUNC
;
279 PRIVATE
extern const C_Int_t Posix_FileSys_PC_PATH_MAX
;
280 PRIVATE
extern const C_Int_t Posix_FileSys_PC_PIPE_BUF
;
281 PRIVATE
extern const C_Int_t Posix_FileSys_PC_PRIO_IO
;
282 PRIVATE
extern const C_Int_t Posix_FileSys_PC_REC_INCR_XFER_SIZE
;
283 PRIVATE
extern const C_Int_t Posix_FileSys_PC_REC_MAX_XFER_SIZE
;
284 PRIVATE
extern const C_Int_t Posix_FileSys_PC_REC_MIN_XFER_SIZE
;
285 PRIVATE
extern const C_Int_t Posix_FileSys_PC_REC_XFER_ALIGN
;
286 PRIVATE
extern const C_Int_t Posix_FileSys_PC_SYMLINK_MAX
;
287 PRIVATE
extern const C_Int_t Posix_FileSys_PC_SYNC_IO
;
288 PRIVATE
extern const C_Int_t Posix_FileSys_PC_TWO_SYMLINKS
;
289 PRIVATE
extern const C_Int_t Posix_FileSys_PC_VDISABLE
;
290 PRIVATE
C_Errno_t(C_SSize_t
) Posix_FileSys_readlink(NullString8_t
,Array(Char8_t
),C_Size_t
);
291 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_rename(NullString8_t
,NullString8_t
);
292 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_rmdir(NullString8_t
);
293 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFBLK
;
294 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFCHR
;
295 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFDIR
;
296 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFIFO
;
297 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFLNK
;
298 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFMT
;
299 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFREG
;
300 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IFSOCK
;
301 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IRGRP
;
302 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IROTH
;
303 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IRUSR
;
304 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IRWXG
;
305 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IRWXO
;
306 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IRWXU
;
307 PRIVATE
extern const C_Mode_t Posix_FileSys_S_ISGID
;
308 PRIVATE
extern const C_Mode_t Posix_FileSys_S_ISUID
;
309 PRIVATE
extern const C_Mode_t Posix_FileSys_S_ISVTX
;
310 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IWGRP
;
311 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IWOTH
;
312 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IWUSR
;
313 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IXGRP
;
314 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IXOTH
;
315 PRIVATE
extern const C_Mode_t Posix_FileSys_S_IXUSR
;
316 PRIVATE C_Int_t
Posix_FileSys_ST_isBlk(C_Mode_t
);
317 PRIVATE C_Int_t
Posix_FileSys_ST_isChr(C_Mode_t
);
318 PRIVATE C_Int_t
Posix_FileSys_ST_isDir(C_Mode_t
);
319 PRIVATE C_Int_t
Posix_FileSys_ST_isFIFO(C_Mode_t
);
320 PRIVATE C_Int_t
Posix_FileSys_ST_isLink(C_Mode_t
);
321 PRIVATE C_Int_t
Posix_FileSys_ST_isReg(C_Mode_t
);
322 PRIVATE C_Int_t
Posix_FileSys_ST_isSock(C_Mode_t
);
323 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_Stat_fstat(C_Fd_t
);
324 PRIVATE C_Time_t
Posix_FileSys_Stat_getATime(void);
325 PRIVATE C_Time_t
Posix_FileSys_Stat_getCTime(void);
326 PRIVATE C_Dev_t
Posix_FileSys_Stat_getDev(void);
327 PRIVATE C_GId_t
Posix_FileSys_Stat_getGId(void);
328 PRIVATE C_INo_t
Posix_FileSys_Stat_getINo(void);
329 PRIVATE C_Mode_t
Posix_FileSys_Stat_getMode(void);
330 PRIVATE C_Time_t
Posix_FileSys_Stat_getMTime(void);
331 PRIVATE C_NLink_t
Posix_FileSys_Stat_getNLink(void);
332 PRIVATE C_Dev_t
Posix_FileSys_Stat_getRDev(void);
333 PRIVATE C_Off_t
Posix_FileSys_Stat_getSize(void);
334 PRIVATE C_UId_t
Posix_FileSys_Stat_getUId(void);
335 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_Stat_lstat(NullString8_t
);
336 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_Stat_stat(NullString8_t
);
337 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_symlink(NullString8_t
,NullString8_t
);
338 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_truncate(NullString8_t
,C_Off_t
);
339 PRIVATE C_Mode_t
Posix_FileSys_umask(C_Mode_t
);
340 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_unlink(NullString8_t
);
341 PRIVATE
void Posix_FileSys_Utimbuf_setAcTime(C_Time_t
);
342 PRIVATE
void Posix_FileSys_Utimbuf_setModTime(C_Time_t
);
343 PRIVATE
C_Errno_t(C_Int_t
) Posix_FileSys_Utimbuf_utime(NullString8_t
);
344 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_close(C_Fd_t
);
345 PRIVATE
C_Errno_t(C_Fd_t
) Posix_IO_dup(C_Fd_t
);
346 PRIVATE
C_Errno_t(C_Fd_t
) Posix_IO_dup2(C_Fd_t
,C_Fd_t
);
347 PRIVATE
extern const C_Int_t Posix_IO_F_DUPFD
;
348 PRIVATE
extern const C_Int_t Posix_IO_F_GETFD
;
349 PRIVATE
extern const C_Int_t Posix_IO_F_GETFL
;
350 PRIVATE
extern const C_Int_t Posix_IO_F_GETOWN
;
351 PRIVATE
extern const C_Int_t Posix_IO_F_SETFD
;
352 PRIVATE
extern const C_Int_t Posix_IO_F_SETFL
;
353 PRIVATE
extern const C_Int_t Posix_IO_F_SETOWN
;
354 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_fcntl2(C_Fd_t
,C_Int_t
);
355 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_fcntl3(C_Fd_t
,C_Int_t
,C_Int_t
);
356 PRIVATE
extern const C_Int_t Posix_IO_FD_CLOEXEC
;
357 PRIVATE
extern const C_Int_t Posix_IO_FLock_F_GETLK
;
358 PRIVATE
extern const C_Short_t Posix_IO_FLock_F_RDLCK
;
359 PRIVATE
extern const C_Int_t Posix_IO_FLock_F_SETLK
;
360 PRIVATE
extern const C_Int_t Posix_IO_FLock_F_SETLKW
;
361 PRIVATE
extern const C_Short_t Posix_IO_FLock_F_UNLCK
;
362 PRIVATE
extern const C_Short_t Posix_IO_FLock_F_WRLCK
;
363 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_FLock_fcntl(C_Fd_t
,C_Int_t
);
364 PRIVATE C_Off_t
Posix_IO_FLock_getLen(void);
365 PRIVATE C_PId_t
Posix_IO_FLock_getPId(void);
366 PRIVATE C_Off_t
Posix_IO_FLock_getStart(void);
367 PRIVATE C_Short_t
Posix_IO_FLock_getType(void);
368 PRIVATE C_Short_t
Posix_IO_FLock_getWhence(void);
369 PRIVATE
extern const C_Short_t Posix_IO_FLock_SEEK_CUR
;
370 PRIVATE
extern const C_Short_t Posix_IO_FLock_SEEK_END
;
371 PRIVATE
extern const C_Short_t Posix_IO_FLock_SEEK_SET
;
372 PRIVATE
void Posix_IO_FLock_setLen(C_Off_t
);
373 PRIVATE
void Posix_IO_FLock_setPId(C_PId_t
);
374 PRIVATE
void Posix_IO_FLock_setStart(C_Off_t
);
375 PRIVATE
void Posix_IO_FLock_setType(C_Short_t
);
376 PRIVATE
void Posix_IO_FLock_setWhence(C_Short_t
);
377 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_fsync(C_Fd_t
);
378 PRIVATE
C_Errno_t(C_Off_t
) Posix_IO_lseek(C_Fd_t
,C_Off_t
,C_Int_t
);
379 PRIVATE
extern const C_Int_t Posix_IO_O_ACCMODE
;
380 PRIVATE
C_Errno_t(C_Int_t
) Posix_IO_pipe(Array(C_Fd_t
));
381 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_readChar8(C_Fd_t
,Array(Char8_t
),C_Int_t
,C_Size_t
);
382 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_readWord8(C_Fd_t
,Array(Word8_t
),C_Int_t
,C_Size_t
);
383 PRIVATE
extern const C_Int_t Posix_IO_SEEK_CUR
;
384 PRIVATE
extern const C_Int_t Posix_IO_SEEK_END
;
385 PRIVATE
extern const C_Int_t Posix_IO_SEEK_SET
;
386 PRIVATE
void Posix_IO_setbin(C_Fd_t
);
387 PRIVATE
void Posix_IO_settext(C_Fd_t
);
388 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_writeChar8Arr(C_Fd_t
,Array(Char8_t
),C_Int_t
,C_Size_t
);
389 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_writeChar8Vec(C_Fd_t
,Vector(Char8_t
),C_Int_t
,C_Size_t
);
390 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_writeWord8Arr(C_Fd_t
,Array(Word8_t
),C_Int_t
,C_Size_t
);
391 PRIVATE
C_Errno_t(C_SSize_t
) Posix_IO_writeWord8Vec(C_Fd_t
,Vector(Word8_t
),C_Int_t
,C_Size_t
);
392 PRIVATE C_String_t
Posix_ProcEnv_ctermid(void);
393 PRIVATE
extern C_StringArray_t Posix_ProcEnv_environ
;
394 PRIVATE C_GId_t
Posix_ProcEnv_getegid(void);
395 PRIVATE C_String_t
Posix_ProcEnv_getenv(NullString8_t
);
396 PRIVATE C_UId_t
Posix_ProcEnv_geteuid(void);
397 PRIVATE C_GId_t
Posix_ProcEnv_getgid(void);
398 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_getgroups(C_Int_t
,Array(C_GId_t
));
399 PRIVATE C_Int_t
Posix_ProcEnv_getgroupsN(void);
400 PRIVATE
C_Errno_t(C_String_t
) Posix_ProcEnv_getlogin(void);
401 PRIVATE C_PId_t
Posix_ProcEnv_getpgrp(void);
402 PRIVATE C_PId_t
Posix_ProcEnv_getpid(void);
403 PRIVATE C_PId_t
Posix_ProcEnv_getppid(void);
404 PRIVATE C_UId_t
Posix_ProcEnv_getuid(void);
405 PRIVATE C_Int_t
Posix_ProcEnv_isatty(C_Fd_t
);
406 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_C_BIND
;
407 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_C_DEV
;
408 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_CHAR_TERM
;
409 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_FORT_DEV
;
410 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_FORT_RUN
;
411 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_LOCALEDEF
;
412 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS
;
413 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS_ACCOUNTING
;
414 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS_CHECKPOINT
;
415 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS_LOCATE
;
416 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS_MESSAGE
;
417 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_PBS_TRACK
;
418 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_SW_DEV
;
419 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_UPE
;
420 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_2_VERSION
;
421 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_ADVISORY_INFO
;
422 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_AIO_LISTIO_MAX
;
423 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_AIO_MAX
;
424 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_AIO_PRIO_DELTA_MAX
;
425 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_ARG_MAX
;
426 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_ASYNCHRONOUS_IO
;
427 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_ATEXIT_MAX
;
428 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_AVPHYS_PAGES
;
429 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_BARRIERS
;
430 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_BC_BASE_MAX
;
431 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_BC_DIM_MAX
;
432 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_BC_SCALE_MAX
;
433 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_BC_STRING_MAX
;
434 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_CHILD_MAX
;
435 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_CLK_TCK
;
436 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_CLOCK_SELECTION
;
437 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_COLL_WEIGHTS_MAX
;
438 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_CPUTIME
;
439 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_DELAYTIMER_MAX
;
440 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_EXPR_NEST_MAX
;
441 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_FSYNC
;
442 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_GETGR_R_SIZE_MAX
;
443 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_GETPW_R_SIZE_MAX
;
444 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_HOST_NAME_MAX
;
445 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_IOV_MAX
;
446 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_IPV6
;
447 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_JOB_CONTROL
;
448 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_LINE_MAX
;
449 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_LOGIN_NAME_MAX
;
450 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MAPPED_FILES
;
451 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MEMLOCK
;
452 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MEMLOCK_RANGE
;
453 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MEMORY_PROTECTION
;
454 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MESSAGE_PASSING
;
455 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MONOTONIC_CLOCK
;
456 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MQ_OPEN_MAX
;
457 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_MQ_PRIO_MAX
;
458 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_NGROUPS_MAX
;
459 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_NPROCESSORS_CONF
;
460 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_NPROCESSORS_ONLN
;
461 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_OPEN_MAX
;
462 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_PAGE_SIZE
;
463 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_PAGESIZE
;
464 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_PHYS_PAGES
;
465 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_PRIORITIZED_IO
;
466 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_PRIORITY_SCHEDULING
;
467 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_RAW_SOCKETS
;
468 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_RE_DUP_MAX
;
469 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_READER_WRITER_LOCKS
;
470 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_REALTIME_SIGNALS
;
471 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_REGEXP
;
472 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_RTSIG_MAX
;
473 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SAVED_IDS
;
474 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SEM_NSEMS_MAX
;
475 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SEM_VALUE_MAX
;
476 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SEMAPHORES
;
477 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SHARED_MEMORY_OBJECTS
;
478 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SHELL
;
479 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SIGQUEUE_MAX
;
480 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SPAWN
;
481 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SPIN_LOCKS
;
482 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SPORADIC_SERVER
;
483 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SS_REPL_MAX
;
484 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_STREAM_MAX
;
485 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SYMLOOP_MAX
;
486 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_SYNCHRONIZED_IO
;
487 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_ATTR_STACKADDR
;
488 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_ATTR_STACKSIZE
;
489 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_CPUTIME
;
490 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_DESTRUCTOR_ITERATIONS
;
491 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_KEYS_MAX
;
492 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIO_INHERIT
;
493 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIO_PROTECT
;
494 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIORITY_SCHEDULING
;
495 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_PROCESS_SHARED
;
496 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_SAFE_FUNCTIONS
;
497 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_SPORADIC_SERVER
;
498 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_STACK_MIN
;
499 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREAD_THREADS_MAX
;
500 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_THREADS
;
501 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TIMEOUTS
;
502 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TIMER_MAX
;
503 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TIMERS
;
504 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE
;
505 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_EVENT_FILTER
;
506 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_EVENT_NAME_MAX
;
507 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_INHERIT
;
508 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_LOG
;
509 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_NAME_MAX
;
510 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_SYS_MAX
;
511 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TRACE_USER_EVENT_MAX
;
512 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TTY_NAME_MAX
;
513 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TYPED_MEMORY_OBJECTS
;
514 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_TZNAME_MAX
;
515 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_V6_ILP32_OFF32
;
516 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_V6_ILP32_OFFBIG
;
517 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_V6_LP64_OFF64
;
518 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_V6_LPBIG_OFFBIG
;
519 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_VERSION
;
520 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XBS5_ILP32_OFF32
;
521 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XBS5_ILP32_OFFBIG
;
522 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XBS5_LP64_OFF64
;
523 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XBS5_LPBIG_OFFBIG
;
524 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_CRYPT
;
525 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_ENH_I18N
;
526 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_LEGACY
;
527 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_REALTIME
;
528 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_REALTIME_THREADS
;
529 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_SHM
;
530 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_STREAMS
;
531 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_UNIX
;
532 PRIVATE
extern const C_Int_t Posix_ProcEnv_SC_XOPEN_VERSION
;
533 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_setenv(NullString8_t
,NullString8_t
);
534 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_setgid(C_GId_t
);
535 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_setgroups(C_Int_t
,Vector(C_GId_t
));
536 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_setpgid(C_PId_t
,C_PId_t
);
537 PRIVATE
C_Errno_t(C_PId_t
) Posix_ProcEnv_setsid(void);
538 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_setuid(C_UId_t
);
539 PRIVATE
C_Errno_t(C_Long_t
) Posix_ProcEnv_sysconf(C_Int_t
);
540 PRIVATE
C_Errno_t(C_Clock_t
) Posix_ProcEnv_times(void);
541 PRIVATE C_Clock_t
Posix_ProcEnv_Times_getCSTime(void);
542 PRIVATE C_Clock_t
Posix_ProcEnv_Times_getCUTime(void);
543 PRIVATE C_Clock_t
Posix_ProcEnv_Times_getSTime(void);
544 PRIVATE C_Clock_t
Posix_ProcEnv_Times_getUTime(void);
545 PRIVATE
C_Errno_t(C_String_t
) Posix_ProcEnv_ttyname(C_Fd_t
);
546 PRIVATE
C_Errno_t(C_Int_t
) Posix_ProcEnv_uname(void);
547 PRIVATE C_String_t
Posix_ProcEnv_Uname_getMachine(void);
548 PRIVATE C_String_t
Posix_ProcEnv_Uname_getNodeName(void);
549 PRIVATE C_String_t
Posix_ProcEnv_Uname_getRelease(void);
550 PRIVATE C_String_t
Posix_ProcEnv_Uname_getSysName(void);
551 PRIVATE C_String_t
Posix_ProcEnv_Uname_getVersion(void);
552 PRIVATE C_UInt_t
Posix_Process_alarm(C_UInt_t
);
553 PRIVATE
C_Errno_t(C_Int_t
) Posix_Process_exece(NullString8_t
,Array(NullString8_t
),Array(NullString8_t
));
554 PRIVATE
C_Errno_t(C_Int_t
) Posix_Process_execp(NullString8_t
,Array(NullString8_t
));
555 PRIVATE
__attribute__((noreturn
)) void Posix_Process_exit(C_Status_t
);
556 PRIVATE C_Int_t
Posix_Process_exitStatus(C_Status_t
);
557 PRIVATE
C_Errno_t(C_PId_t
) Posix_Process_fork(void);
558 PRIVATE C_Int_t
Posix_Process_ifExited(C_Status_t
);
559 PRIVATE C_Int_t
Posix_Process_ifSignaled(C_Status_t
);
560 PRIVATE C_Int_t
Posix_Process_ifStopped(C_Status_t
);
561 PRIVATE
C_Errno_t(C_Int_t
) Posix_Process_kill(C_PId_t
,C_Signal_t
);
562 PRIVATE
C_Errno_t(C_Int_t
) Posix_Process_nanosleep(Ref(C_Time_t
),Ref(C_Long_t
));
563 PRIVATE
C_Errno_t(C_Int_t
) Posix_Process_pause(void);
564 PRIVATE C_UInt_t
Posix_Process_sleep(C_UInt_t
);
565 PRIVATE C_Signal_t
Posix_Process_stopSig(C_Status_t
);
566 PRIVATE
C_Errno_t(C_Status_t
) Posix_Process_system(NullString8_t
);
567 PRIVATE C_Signal_t
Posix_Process_termSig(C_Status_t
);
568 PRIVATE
extern const C_Int_t Posix_Process_W_NOHANG
;
569 PRIVATE
extern const C_Int_t Posix_Process_W_UNTRACED
;
570 PRIVATE
C_Errno_t(C_PId_t
) Posix_Process_waitpid(C_PId_t
,Ref(C_Status_t
),C_Int_t
);
571 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_default(C_Signal_t
);
572 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_handlee(C_Signal_t
);
573 PRIVATE
void Posix_Signal_handleGC(void);
574 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_ignore(C_Signal_t
);
575 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_isDefault(C_Signal_t
,Ref(C_Int_t
));
576 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_isIgnore(C_Signal_t
,Ref(C_Int_t
));
577 PRIVATE C_Int_t
Posix_Signal_isPending(C_Signal_t
);
578 PRIVATE C_Int_t
Posix_Signal_isPendingGC(void);
579 PRIVATE
extern const C_Int_t Posix_Signal_NSIG
;
580 PRIVATE
void Posix_Signal_resetPending(void);
581 PRIVATE
extern const C_Int_t Posix_Signal_SIG_BLOCK
;
582 PRIVATE
extern const C_Int_t Posix_Signal_SIG_SETMASK
;
583 PRIVATE
extern const C_Int_t Posix_Signal_SIG_UNBLOCK
;
584 PRIVATE
extern const C_Signal_t Posix_Signal_SIGABRT
;
585 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigaddset(Array(Word8_t
),C_Signal_t
);
586 PRIVATE
extern const C_Signal_t Posix_Signal_SIGALRM
;
587 PRIVATE
extern const C_Signal_t Posix_Signal_SIGBUS
;
588 PRIVATE
extern const C_Signal_t Posix_Signal_SIGCHLD
;
589 PRIVATE
extern const C_Signal_t Posix_Signal_SIGCONT
;
590 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigdelset(Array(Word8_t
),C_Signal_t
);
591 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigemptyset(Array(Word8_t
));
592 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigfillset(Array(Word8_t
));
593 PRIVATE
extern const C_Signal_t Posix_Signal_SIGFPE
;
594 PRIVATE
extern const C_Signal_t Posix_Signal_SIGHUP
;
595 PRIVATE
extern const C_Signal_t Posix_Signal_SIGILL
;
596 PRIVATE
extern const C_Signal_t Posix_Signal_SIGINT
;
597 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigismember(Vector(Word8_t
),C_Signal_t
);
598 PRIVATE
extern const C_Signal_t Posix_Signal_SIGKILL
;
599 PRIVATE
extern const C_Signal_t Posix_Signal_SIGPIPE
;
600 PRIVATE
extern const C_Signal_t Posix_Signal_SIGPOLL
;
601 PRIVATE
C_Errno_t(C_Int_t
) Posix_Signal_sigprocmask(C_Int_t
,Vector(Word8_t
),Array(Word8_t
));
602 PRIVATE
extern const C_Signal_t Posix_Signal_SIGPROF
;
603 PRIVATE
extern const C_Signal_t Posix_Signal_SIGQUIT
;
604 PRIVATE
extern const C_Signal_t Posix_Signal_SIGSEGV
;
605 PRIVATE
extern const C_Size_t Posix_Signal_sigSetLen
;
606 PRIVATE
extern const C_Signal_t Posix_Signal_SIGSTOP
;
607 PRIVATE
void Posix_Signal_sigsuspend(Vector(Word8_t
));
608 PRIVATE
extern const C_Signal_t Posix_Signal_SIGSYS
;
609 PRIVATE
extern const C_Signal_t Posix_Signal_SIGTERM
;
610 PRIVATE
extern const C_Signal_t Posix_Signal_SIGTRAP
;
611 PRIVATE
extern const C_Signal_t Posix_Signal_SIGTSTP
;
612 PRIVATE
extern const C_Signal_t Posix_Signal_SIGTTIN
;
613 PRIVATE
extern const C_Signal_t Posix_Signal_SIGTTOU
;
614 PRIVATE
extern const C_Signal_t Posix_Signal_SIGURG
;
615 PRIVATE
extern const C_Signal_t Posix_Signal_SIGUSR1
;
616 PRIVATE
extern const C_Signal_t Posix_Signal_SIGUSR2
;
617 PRIVATE
extern const C_Signal_t Posix_Signal_SIGVTALRM
;
618 PRIVATE
extern const C_Signal_t Posix_Signal_SIGXCPU
;
619 PRIVATE
extern const C_Signal_t Posix_Signal_SIGXFSZ
;
620 PRIVATE
C_Errno_t(C_Int_t
) Posix_SysDB_getgrgid(C_GId_t
);
621 PRIVATE
C_Errno_t(C_Int_t
) Posix_SysDB_getgrnam(NullString8_t
);
622 PRIVATE
C_Errno_t(C_Int_t
) Posix_SysDB_getpwnam(NullString8_t
);
623 PRIVATE
C_Errno_t(C_Int_t
) Posix_SysDB_getpwuid(C_GId_t
);
624 PRIVATE C_GId_t
Posix_SysDB_Group_getGId(void);
625 PRIVATE C_StringArray_t
Posix_SysDB_Group_getMem(void);
626 PRIVATE C_String_t
Posix_SysDB_Group_getName(void);
627 PRIVATE C_String_t
Posix_SysDB_Passwd_getDir(void);
628 PRIVATE C_GId_t
Posix_SysDB_Passwd_getGId(void);
629 PRIVATE C_String_t
Posix_SysDB_Passwd_getName(void);
630 PRIVATE C_String_t
Posix_SysDB_Passwd_getShell(void);
631 PRIVATE C_UId_t
Posix_SysDB_Passwd_getUId(void);
632 PRIVATE
extern const C_Speed_t Posix_TTY_B0
;
633 PRIVATE
extern const C_Speed_t Posix_TTY_B110
;
634 PRIVATE
extern const C_Speed_t Posix_TTY_B1200
;
635 PRIVATE
extern const C_Speed_t Posix_TTY_B134
;
636 PRIVATE
extern const C_Speed_t Posix_TTY_B150
;
637 PRIVATE
extern const C_Speed_t Posix_TTY_B1800
;
638 PRIVATE
extern const C_Speed_t Posix_TTY_B19200
;
639 PRIVATE
extern const C_Speed_t Posix_TTY_B200
;
640 PRIVATE
extern const C_Speed_t Posix_TTY_B2400
;
641 PRIVATE
extern const C_Speed_t Posix_TTY_B300
;
642 PRIVATE
extern const C_Speed_t Posix_TTY_B38400
;
643 PRIVATE
extern const C_Speed_t Posix_TTY_B4800
;
644 PRIVATE
extern const C_Speed_t Posix_TTY_B50
;
645 PRIVATE
extern const C_Speed_t Posix_TTY_B600
;
646 PRIVATE
extern const C_Speed_t Posix_TTY_B75
;
647 PRIVATE
extern const C_Speed_t Posix_TTY_B9600
;
648 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CLOCAL
;
649 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CREAD
;
650 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CS5
;
651 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CS6
;
652 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CS7
;
653 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CS8
;
654 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CSIZE
;
655 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_CSTOPB
;
656 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_HUPCL
;
657 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_PARENB
;
658 PRIVATE
extern const C_TCFlag_t Posix_TTY_C_PARODD
;
659 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_BRKINT
;
660 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_ICRNL
;
661 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IGNBRK
;
662 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IGNCR
;
663 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IGNPAR
;
664 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_INLCR
;
665 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_INPCK
;
666 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_ISTRIP
;
667 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IXANY
;
668 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IXOFF
;
669 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_IXON
;
670 PRIVATE
extern const C_TCFlag_t Posix_TTY_I_PARMRK
;
671 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ECHO
;
672 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ECHOE
;
673 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ECHOK
;
674 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ECHONL
;
675 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ICANON
;
676 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_IEXTEN
;
677 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_ISIG
;
678 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_NOFLSH
;
679 PRIVATE
extern const C_TCFlag_t Posix_TTY_L_TOSTOP
;
680 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_BS0
;
681 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_BS1
;
682 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_BSDLY
;
683 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_CR0
;
684 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_CR1
;
685 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_CR2
;
686 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_CR3
;
687 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_CRDLY
;
688 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_FF0
;
689 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_FF1
;
690 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_FFDLY
;
691 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_NL0
;
692 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_NL1
;
693 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_NLDLY
;
694 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_OCRNL
;
695 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_OFILL
;
696 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_ONLCR
;
697 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_ONLRET
;
698 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_ONOCR
;
699 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_OPOST
;
700 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_TAB0
;
701 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_TAB1
;
702 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_TAB2
;
703 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_TAB3
;
704 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_TABDLY
;
705 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_VT0
;
706 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_VT1
;
707 PRIVATE
extern const C_TCFlag_t Posix_TTY_O_VTDLY
;
708 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_drain(C_Fd_t
);
709 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_flow(C_Fd_t
,C_Int_t
);
710 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_flush(C_Fd_t
,C_Int_t
);
711 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_getattr(C_Fd_t
);
712 PRIVATE
C_Errno_t(C_PId_t
) Posix_TTY_TC_getpgrp(C_Fd_t
);
713 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_sendbreak(C_Fd_t
,C_Int_t
);
714 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_setattr(C_Fd_t
,C_Int_t
);
715 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_TC_setpgrp(C_Fd_t
,C_PId_t
);
716 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCIFLUSH
;
717 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCIOFF
;
718 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCIOFLUSH
;
719 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCION
;
720 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCOFLUSH
;
721 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCOOFF
;
722 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCOON
;
723 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCSADRAIN
;
724 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCSAFLUSH
;
725 PRIVATE
extern const C_Int_t Posix_TTY_TC_TCSANOW
;
726 PRIVATE C_Speed_t
Posix_TTY_Termios_cfGetISpeed(void);
727 PRIVATE C_Speed_t
Posix_TTY_Termios_cfGetOSpeed(void);
728 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_Termios_cfSetISpeed(C_Speed_t
);
729 PRIVATE
C_Errno_t(C_Int_t
) Posix_TTY_Termios_cfSetOSpeed(C_Speed_t
);
730 PRIVATE
void Posix_TTY_Termios_getCC(Array(C_CC_t
));
731 PRIVATE C_TCFlag_t
Posix_TTY_Termios_getCFlag(void);
732 PRIVATE C_TCFlag_t
Posix_TTY_Termios_getIFlag(void);
733 PRIVATE C_TCFlag_t
Posix_TTY_Termios_getLFlag(void);
734 PRIVATE C_TCFlag_t
Posix_TTY_Termios_getOFlag(void);
735 PRIVATE
void Posix_TTY_Termios_setCC(Array(C_CC_t
));
736 PRIVATE
void Posix_TTY_Termios_setCFlag(C_TCFlag_t
);
737 PRIVATE
void Posix_TTY_Termios_setIFlag(C_TCFlag_t
);
738 PRIVATE
void Posix_TTY_Termios_setLFlag(C_TCFlag_t
);
739 PRIVATE
void Posix_TTY_Termios_setOFlag(C_TCFlag_t
);
740 PRIVATE
extern const C_Int_t Posix_TTY_V_NCCS
;
741 PRIVATE
extern const C_Int_t Posix_TTY_V_VEOF
;
742 PRIVATE
extern const C_Int_t Posix_TTY_V_VEOL
;
743 PRIVATE
extern const C_Int_t Posix_TTY_V_VERASE
;
744 PRIVATE
extern const C_Int_t Posix_TTY_V_VINTR
;
745 PRIVATE
extern const C_Int_t Posix_TTY_V_VKILL
;
746 PRIVATE
extern const C_Int_t Posix_TTY_V_VMIN
;
747 PRIVATE
extern const C_Int_t Posix_TTY_V_VQUIT
;
748 PRIVATE
extern const C_Int_t Posix_TTY_V_VSTART
;
749 PRIVATE
extern const C_Int_t Posix_TTY_V_VSTOP
;
750 PRIVATE
extern const C_Int_t Posix_TTY_V_VSUSP
;
751 PRIVATE
extern const C_Int_t Posix_TTY_V_VTIME
;
752 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_abs(Real32_t
);
753 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_add(Real32_t
,Real32_t
);
754 MLTON_CODEGEN_STATIC_INLINE Word32_t
Real32_castToWord32(Real32_t
);
755 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_div(Real32_t
,Real32_t
);
756 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real32_equal(Real32_t
,Real32_t
);
757 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_fetch(Ref(Real32_t
));
758 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_frexp(Real32_t
,Ref(C_Int_t
));
759 PRIVATE C_String_t
Real32_gdtoa(Real32_t
,C_Int_t
,C_Int_t
,C_Int_t
,Ref(C_Int_t
));
760 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_ldexp(Real32_t
,C_Int_t
);
761 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real32_le(Real32_t
,Real32_t
);
762 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real32_lt(Real32_t
,Real32_t
);
763 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_acos(Real32_t
);
764 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_asin(Real32_t
);
765 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_atan(Real32_t
);
766 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_atan2(Real32_t
,Real32_t
);
767 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_cos(Real32_t
);
768 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_cosh(Real32_t
);
769 PRIVATE
extern Real32_t Real32_Math_e
;
770 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_exp(Real32_t
);
771 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_ln(Real32_t
);
772 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_log10(Real32_t
);
773 PRIVATE
extern Real32_t Real32_Math_pi
;
774 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_pow(Real32_t
,Real32_t
);
775 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_sin(Real32_t
);
776 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_sinh(Real32_t
);
777 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_sqrt(Real32_t
);
778 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_tan(Real32_t
);
779 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_Math_tanh(Real32_t
);
780 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_modf(Real32_t
,Ref(Real32_t
));
781 MLTON_CODEGEN_STATIC_INLINE
void Real32_move(Ref(Real32_t
),Ref(Real32_t
));
782 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_mul(Real32_t
,Real32_t
);
783 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_muladd(Real32_t
,Real32_t
,Real32_t
);
784 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_mulsub(Real32_t
,Real32_t
,Real32_t
);
785 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_neg(Real32_t
);
786 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_realCeil(Real32_t
);
787 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_realFloor(Real32_t
);
788 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_realTrunc(Real32_t
);
789 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_rndToReal32(Real32_t
);
790 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real32_rndToReal64(Real32_t
);
791 MLTON_CODEGEN_STATIC_INLINE Int16_t
Real32_rndToWordS16(Real32_t
);
792 MLTON_CODEGEN_STATIC_INLINE Int32_t
Real32_rndToWordS32(Real32_t
);
793 MLTON_CODEGEN_STATIC_INLINE Int64_t
Real32_rndToWordS64(Real32_t
);
794 MLTON_CODEGEN_STATIC_INLINE Int8_t
Real32_rndToWordS8(Real32_t
);
795 MLTON_CODEGEN_STATIC_INLINE Word16_t
Real32_rndToWordU16(Real32_t
);
796 MLTON_CODEGEN_STATIC_INLINE Word32_t
Real32_rndToWordU32(Real32_t
);
797 MLTON_CODEGEN_STATIC_INLINE Word64_t
Real32_rndToWordU64(Real32_t
);
798 MLTON_CODEGEN_STATIC_INLINE Word8_t
Real32_rndToWordU8(Real32_t
);
799 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_round(Real32_t
);
800 MLTON_CODEGEN_STATIC_INLINE
void Real32_store(Ref(Real32_t
),Real32_t
);
801 PRIVATE Real32_t
Real32_strtor(NullString8_t
,C_Int_t
);
802 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real32_sub(Real32_t
,Real32_t
);
803 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_abs(Real64_t
);
804 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_add(Real64_t
,Real64_t
);
805 MLTON_CODEGEN_STATIC_INLINE Word64_t
Real64_castToWord64(Real64_t
);
806 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_div(Real64_t
,Real64_t
);
807 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real64_equal(Real64_t
,Real64_t
);
808 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_fetch(Ref(Real64_t
));
809 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_frexp(Real64_t
,Ref(C_Int_t
));
810 PRIVATE C_String_t
Real64_gdtoa(Real64_t
,C_Int_t
,C_Int_t
,C_Int_t
,Ref(C_Int_t
));
811 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_ldexp(Real64_t
,C_Int_t
);
812 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real64_le(Real64_t
,Real64_t
);
813 MLTON_CODEGEN_STATIC_INLINE Bool_t
Real64_lt(Real64_t
,Real64_t
);
814 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_acos(Real64_t
);
815 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_asin(Real64_t
);
816 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_atan(Real64_t
);
817 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_atan2(Real64_t
,Real64_t
);
818 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_cos(Real64_t
);
819 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_cosh(Real64_t
);
820 PRIVATE
extern Real64_t Real64_Math_e
;
821 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_exp(Real64_t
);
822 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_ln(Real64_t
);
823 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_log10(Real64_t
);
824 PRIVATE
extern Real64_t Real64_Math_pi
;
825 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_pow(Real64_t
,Real64_t
);
826 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_sin(Real64_t
);
827 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_sinh(Real64_t
);
828 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_sqrt(Real64_t
);
829 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_tan(Real64_t
);
830 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_Math_tanh(Real64_t
);
831 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_modf(Real64_t
,Ref(Real64_t
));
832 MLTON_CODEGEN_STATIC_INLINE
void Real64_move(Ref(Real64_t
),Ref(Real64_t
));
833 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_mul(Real64_t
,Real64_t
);
834 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_muladd(Real64_t
,Real64_t
,Real64_t
);
835 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_mulsub(Real64_t
,Real64_t
,Real64_t
);
836 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_neg(Real64_t
);
837 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_realCeil(Real64_t
);
838 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_realFloor(Real64_t
);
839 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_realTrunc(Real64_t
);
840 MLTON_CODEGEN_STATIC_INLINE Real32_t
Real64_rndToReal32(Real64_t
);
841 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_rndToReal64(Real64_t
);
842 MLTON_CODEGEN_STATIC_INLINE Int16_t
Real64_rndToWordS16(Real64_t
);
843 MLTON_CODEGEN_STATIC_INLINE Int32_t
Real64_rndToWordS32(Real64_t
);
844 MLTON_CODEGEN_STATIC_INLINE Int64_t
Real64_rndToWordS64(Real64_t
);
845 MLTON_CODEGEN_STATIC_INLINE Int8_t
Real64_rndToWordS8(Real64_t
);
846 MLTON_CODEGEN_STATIC_INLINE Word16_t
Real64_rndToWordU16(Real64_t
);
847 MLTON_CODEGEN_STATIC_INLINE Word32_t
Real64_rndToWordU32(Real64_t
);
848 MLTON_CODEGEN_STATIC_INLINE Word64_t
Real64_rndToWordU64(Real64_t
);
849 MLTON_CODEGEN_STATIC_INLINE Word8_t
Real64_rndToWordU8(Real64_t
);
850 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_round(Real64_t
);
851 MLTON_CODEGEN_STATIC_INLINE
void Real64_store(Ref(Real64_t
),Real64_t
);
852 PRIVATE Real64_t
Real64_strtor(NullString8_t
,C_Int_t
);
853 MLTON_CODEGEN_STATIC_INLINE Real64_t
Real64_sub(Real64_t
,Real64_t
);
854 PRIVATE
C_Errno_t(C_Int_t
) Socket_accept(C_Sock_t
,Array(Word8_t
),Ref(C_Socklen_t
));
855 PRIVATE
extern const C_Int_t Socket_AF_INET
;
856 PRIVATE
extern const C_Int_t Socket_AF_INET6
;
857 PRIVATE
extern const C_Int_t Socket_AF_UNIX
;
858 PRIVATE
extern const C_Int_t Socket_AF_UNSPEC
;
859 PRIVATE
C_Errno_t(C_Int_t
) Socket_bind(C_Sock_t
,Vector(Word8_t
),C_Socklen_t
);
860 PRIVATE
C_Errno_t(C_Int_t
) Socket_close(C_Sock_t
);
861 PRIVATE
C_Errno_t(C_Int_t
) Socket_connect(C_Sock_t
,Vector(Word8_t
),C_Socklen_t
);
862 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getATMARK(C_Sock_t
,Ref(C_Int_t
));
863 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getNREAD(C_Sock_t
,Ref(C_Int_t
));
864 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getPeerName(C_Sock_t
,Array(Word8_t
),Ref(C_Socklen_t
));
865 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getSockName(C_Sock_t
,Array(Word8_t
),Ref(C_Socklen_t
));
866 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getSockOptC_Int(C_Sock_t
,C_Int_t
,C_Int_t
,Ref(C_Int_t
));
867 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_getSockOptC_Linger(C_Sock_t
,C_Int_t
,C_Int_t
,Ref(C_Int_t
),Ref(C_Int_t
));
868 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_setSockOptC_Int(C_Sock_t
,C_Int_t
,C_Int_t
,C_Int_t
);
869 PRIVATE
C_Errno_t(C_Int_t
) Socket_Ctl_setSockOptC_Linger(C_Sock_t
,C_Int_t
,C_Int_t
,C_Int_t
,C_Int_t
);
870 PRIVATE
extern const C_Int_t Socket_Ctl_SO_ACCEPTCONN
;
871 PRIVATE
extern const C_Int_t Socket_Ctl_SO_BROADCAST
;
872 PRIVATE
extern const C_Int_t Socket_Ctl_SO_DEBUG
;
873 PRIVATE
extern const C_Int_t Socket_Ctl_SO_DONTROUTE
;
874 PRIVATE
extern const C_Int_t Socket_Ctl_SO_ERROR
;
875 PRIVATE
extern const C_Int_t Socket_Ctl_SO_KEEPALIVE
;
876 PRIVATE
extern const C_Int_t Socket_Ctl_SO_LINGER
;
877 PRIVATE
extern const C_Int_t Socket_Ctl_SO_OOBINLINE
;
878 PRIVATE
extern const C_Int_t Socket_Ctl_SO_RCVBUF
;
879 PRIVATE
extern const C_Int_t Socket_Ctl_SO_RCVLOWAT
;
880 PRIVATE
extern const C_Int_t Socket_Ctl_SO_RCVTIMEO
;
881 PRIVATE
extern const C_Int_t Socket_Ctl_SO_REUSEADDR
;
882 PRIVATE
extern const C_Int_t Socket_Ctl_SO_SNDBUF
;
883 PRIVATE
extern const C_Int_t Socket_Ctl_SO_SNDLOWAT
;
884 PRIVATE
extern const C_Int_t Socket_Ctl_SO_SNDTIMEO
;
885 PRIVATE
extern const C_Int_t Socket_Ctl_SO_TYPE
;
886 PRIVATE
extern const C_Int_t Socket_Ctl_SOL_SOCKET
;
887 PRIVATE C_Int_t
Socket_familyOfAddr(Vector(Word8_t
));
888 PRIVATE
C_Errno_t(C_Int_t
) Socket_GenericSock_socket(C_Int_t
,C_Int_t
,C_Int_t
);
889 PRIVATE
C_Errno_t(C_Int_t
) Socket_GenericSock_socketPair(C_Int_t
,C_Int_t
,C_Int_t
,Array(C_Int_t
));
890 PRIVATE C_Time_t
Socket_getTimeout_sec(void);
891 PRIVATE C_SUSeconds_t
Socket_getTimeout_usec(void);
892 PRIVATE
extern const C_Int_t Socket_INetSock_Ctl_IPPROTO_TCP
;
893 PRIVATE
extern const C_Int_t Socket_INetSock_Ctl_TCP_NODELAY
;
894 PRIVATE
void Socket_INetSock_fromAddr(Vector(Word8_t
));
895 PRIVATE
void Socket_INetSock_getInAddr(Array(Word8_t
));
896 PRIVATE Word16_t
Socket_INetSock_getPort(void);
897 PRIVATE
void Socket_INetSock_toAddr(Vector(Word8_t
),Word16_t
,Array(Word8_t
),Ref(C_Socklen_t
));
898 PRIVATE
C_Errno_t(C_Int_t
) Socket_listen(C_Sock_t
,C_Int_t
);
899 PRIVATE
extern const C_Int_t Socket_MSG_CTRUNC
;
900 PRIVATE
extern const C_Int_t Socket_MSG_DONTROUTE
;
901 PRIVATE
extern const C_Int_t Socket_MSG_DONTWAIT
;
902 PRIVATE
extern const C_Int_t Socket_MSG_EOR
;
903 PRIVATE
extern const C_Int_t Socket_MSG_OOB
;
904 PRIVATE
extern const C_Int_t Socket_MSG_PEEK
;
905 PRIVATE
extern const C_Int_t Socket_MSG_TRUNC
;
906 PRIVATE
extern const C_Int_t Socket_MSG_WAITALL
;
907 PRIVATE
C_Errno_t(C_SSize_t
) Socket_recv(C_Sock_t
,Array(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
);
908 PRIVATE
C_Errno_t(C_SSize_t
) Socket_recvFrom(C_Sock_t
,Array(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
,Array(Word8_t
),Ref(C_Socklen_t
));
909 PRIVATE
C_Errno_t(C_Int_t
) Socket_select(Vector(C_Fd_t
),Vector(C_Fd_t
),Vector(C_Fd_t
),Array(C_Int_t
),Array(C_Int_t
),Array(C_Int_t
));
910 PRIVATE
C_Errno_t(C_SSize_t
) Socket_sendArr(C_Sock_t
,Array(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
);
911 PRIVATE
C_Errno_t(C_SSize_t
) Socket_sendArrTo(C_Sock_t
,Array(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
,Vector(Word8_t
),C_Socklen_t
);
912 PRIVATE
C_Errno_t(C_SSize_t
) Socket_sendVec(C_Sock_t
,Vector(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
);
913 PRIVATE
C_Errno_t(C_SSize_t
) Socket_sendVecTo(C_Sock_t
,Vector(Word8_t
),C_Int_t
,C_Size_t
,C_Int_t
,Vector(Word8_t
),C_Socklen_t
);
914 PRIVATE
void Socket_setTimeout(C_Time_t
,C_SUSeconds_t
);
915 PRIVATE
void Socket_setTimeoutNull(void);
916 PRIVATE
extern const C_Int_t Socket_SHUT_RD
;
917 PRIVATE
extern const C_Int_t Socket_SHUT_RDWR
;
918 PRIVATE
extern const C_Int_t Socket_SHUT_WR
;
919 PRIVATE
C_Errno_t(C_Int_t
) Socket_shutdown(C_Sock_t
,C_Int_t
);
920 PRIVATE
extern const C_Int_t Socket_SOCK_DGRAM
;
921 PRIVATE
extern const C_Int_t Socket_SOCK_RAW
;
922 PRIVATE
extern const C_Int_t Socket_SOCK_SEQPACKET
;
923 PRIVATE
extern const C_Int_t Socket_SOCK_STREAM
;
924 PRIVATE
extern const C_Size_t Socket_sockAddrStorageLen
;
925 PRIVATE
void Socket_UnixSock_fromAddr(Vector(Word8_t
),Array(Char8_t
),C_Size_t
);
926 PRIVATE C_Size_t
Socket_UnixSock_pathLen(Vector(Word8_t
));
927 PRIVATE
void Socket_UnixSock_toAddr(NullString8_t
,C_Size_t
,Array(Word8_t
),Ref(C_Socklen_t
));
928 PRIVATE
void Stdio_print(String8_t
);
929 PRIVATE
void Stdio_printStderr(String8_t
);
930 PRIVATE
void Stdio_printStdout(String8_t
);
931 PRIVATE C_Int_t
Time_getTimeOfDay(Ref(C_Time_t
),Ref(C_SUSeconds_t
));
932 PRIVATE
C_Errno_t(C_PId_t
) Windows_Process_create(NullString8_t
,NullString8_t
,NullString8_t
,C_Fd_t
,C_Fd_t
,C_Fd_t
);
933 PRIVATE
C_Errno_t(C_PId_t
) Windows_Process_createNull(NullString8_t
,NullString8_t
,C_Fd_t
,C_Fd_t
,C_Fd_t
);
934 PRIVATE
C_Errno_t(C_Int_t
) Windows_Process_getexitcode(C_PId_t
,Ref(C_Status_t
));
935 PRIVATE
C_Errno_t(C_Int_t
) Windows_Process_terminate(C_PId_t
,C_Signal_t
);
936 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_add(Word16_t
,Word16_t
);
937 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_andb(Word16_t
,Word16_t
);
938 MLTON_CODEGEN_STATIC_INLINE Bool_t
Word16_equal(Word16_t
,Word16_t
);
939 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_lshift(Word16_t
,Word32_t
);
940 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_neg(Word16_t
);
941 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_notb(Word16_t
);
942 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_orb(Word16_t
,Word16_t
);
943 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_rol(Word16_t
,Word32_t
);
944 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_ror(Word16_t
,Word32_t
);
945 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_sub(Word16_t
,Word16_t
);
946 MLTON_CODEGEN_STATIC_INLINE Word16_t
Word16_xorb(Word16_t
,Word16_t
);
947 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_add(Word32_t
,Word32_t
);
948 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_andb(Word32_t
,Word32_t
);
949 MLTON_CODEGEN_STATIC_INLINE Real32_t
Word32_castToReal32(Word32_t
);
950 MLTON_CODEGEN_STATIC_INLINE Bool_t
Word32_equal(Word32_t
,Word32_t
);
951 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_lshift(Word32_t
,Word32_t
);
952 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_neg(Word32_t
);
953 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_notb(Word32_t
);
954 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_orb(Word32_t
,Word32_t
);
955 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_rol(Word32_t
,Word32_t
);
956 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_ror(Word32_t
,Word32_t
);
957 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_sub(Word32_t
,Word32_t
);
958 MLTON_CODEGEN_STATIC_INLINE Word32_t
Word32_xorb(Word32_t
,Word32_t
);
959 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_add(Word64_t
,Word64_t
);
960 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_andb(Word64_t
,Word64_t
);
961 MLTON_CODEGEN_STATIC_INLINE Real64_t
Word64_castToReal64(Word64_t
);
962 MLTON_CODEGEN_STATIC_INLINE Bool_t
Word64_equal(Word64_t
,Word64_t
);
963 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_fetch(Ref(Word64_t
));
964 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_lshift(Word64_t
,Word32_t
);
965 MLTON_CODEGEN_STATIC_INLINE
void Word64_move(Ref(Word64_t
),Ref(Word64_t
));
966 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_neg(Word64_t
);
967 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_notb(Word64_t
);
968 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_orb(Word64_t
,Word64_t
);
969 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_rol(Word64_t
,Word32_t
);
970 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_ror(Word64_t
,Word32_t
);
971 MLTON_CODEGEN_STATIC_INLINE
void Word64_store(Ref(Word64_t
),Word64_t
);
972 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_sub(Word64_t
,Word64_t
);
973 MLTON_CODEGEN_STATIC_INLINE Word64_t
Word64_xorb(Word64_t
,Word64_t
);
974 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_add(Word8_t
,Word8_t
);
975 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_andb(Word8_t
,Word8_t
);
976 MLTON_CODEGEN_STATIC_INLINE Bool_t
Word8_equal(Word8_t
,Word8_t
);
977 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_lshift(Word8_t
,Word32_t
);
978 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_neg(Word8_t
);
979 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_notb(Word8_t
);
980 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_orb(Word8_t
,Word8_t
);
981 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_rol(Word8_t
,Word32_t
);
982 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_ror(Word8_t
,Word32_t
);
983 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_sub(Word8_t
,Word8_t
);
984 MLTON_CODEGEN_STATIC_INLINE Word8_t
Word8_xorb(Word8_t
,Word8_t
);
985 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_addCheckOverflows(Int16_t
,Int16_t
);
986 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordS16_extdToWord16(Int16_t
);
987 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordS16_extdToWord32(Int16_t
);
988 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordS16_extdToWord64(Int16_t
);
989 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordS16_extdToWord8(Int16_t
);
990 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_ge(Int16_t
,Int16_t
);
991 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_gt(Int16_t
,Int16_t
);
992 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_le(Int16_t
,Int16_t
);
993 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_lt(Int16_t
,Int16_t
);
994 MLTON_CODEGEN_STATIC_INLINE Int16_t
WordS16_mul(Int16_t
,Int16_t
);
995 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_mulCheckOverflows(Int16_t
,Int16_t
);
996 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_negCheckOverflows(Int16_t
);
997 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int16_t
WordS16_quot(Int16_t
,Int16_t
);
998 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int16_t
WordS16_rem(Int16_t
,Int16_t
);
999 PRIVATE Real32_t
WordS16_rndToReal32(Int16_t
);
1000 PRIVATE Real64_t
WordS16_rndToReal64(Int16_t
);
1001 MLTON_CODEGEN_STATIC_INLINE Int16_t
WordS16_rshift(Int16_t
,Word32_t
);
1002 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS16_subCheckOverflows(Int16_t
,Int16_t
);
1003 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_addCheckOverflows(Int32_t
,Int32_t
);
1004 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordS32_extdToWord16(Int32_t
);
1005 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordS32_extdToWord32(Int32_t
);
1006 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordS32_extdToWord64(Int32_t
);
1007 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordS32_extdToWord8(Int32_t
);
1008 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_ge(Int32_t
,Int32_t
);
1009 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_gt(Int32_t
,Int32_t
);
1010 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_le(Int32_t
,Int32_t
);
1011 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_lt(Int32_t
,Int32_t
);
1012 MLTON_CODEGEN_STATIC_INLINE Int32_t
WordS32_mul(Int32_t
,Int32_t
);
1013 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_mulCheckOverflows(Int32_t
,Int32_t
);
1014 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_negCheckOverflows(Int32_t
);
1015 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int32_t
WordS32_quot(Int32_t
,Int32_t
);
1016 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int32_t
WordS32_rem(Int32_t
,Int32_t
);
1017 PRIVATE Real32_t
WordS32_rndToReal32(Int32_t
);
1018 PRIVATE Real64_t
WordS32_rndToReal64(Int32_t
);
1019 MLTON_CODEGEN_STATIC_INLINE Int32_t
WordS32_rshift(Int32_t
,Word32_t
);
1020 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS32_subCheckOverflows(Int32_t
,Int32_t
);
1021 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_addCheckOverflows(Int64_t
,Int64_t
);
1022 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordS64_extdToWord16(Int64_t
);
1023 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordS64_extdToWord32(Int64_t
);
1024 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordS64_extdToWord64(Int64_t
);
1025 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordS64_extdToWord8(Int64_t
);
1026 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_ge(Int64_t
,Int64_t
);
1027 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_gt(Int64_t
,Int64_t
);
1028 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_le(Int64_t
,Int64_t
);
1029 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_lt(Int64_t
,Int64_t
);
1030 MLTON_CODEGEN_STATIC_INLINE Int64_t
WordS64_mul(Int64_t
,Int64_t
);
1031 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_mulCheckOverflows(Int64_t
,Int64_t
);
1032 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_negCheckOverflows(Int64_t
);
1033 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int64_t
WordS64_quot(Int64_t
,Int64_t
);
1034 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int64_t
WordS64_rem(Int64_t
,Int64_t
);
1035 PRIVATE Real32_t
WordS64_rndToReal32(Int64_t
);
1036 PRIVATE Real64_t
WordS64_rndToReal64(Int64_t
);
1037 MLTON_CODEGEN_STATIC_INLINE Int64_t
WordS64_rshift(Int64_t
,Word32_t
);
1038 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS64_subCheckOverflows(Int64_t
,Int64_t
);
1039 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_addCheckOverflows(Int8_t
,Int8_t
);
1040 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordS8_extdToWord16(Int8_t
);
1041 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordS8_extdToWord32(Int8_t
);
1042 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordS8_extdToWord64(Int8_t
);
1043 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordS8_extdToWord8(Int8_t
);
1044 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_ge(Int8_t
,Int8_t
);
1045 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_gt(Int8_t
,Int8_t
);
1046 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_le(Int8_t
,Int8_t
);
1047 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_lt(Int8_t
,Int8_t
);
1048 MLTON_CODEGEN_STATIC_INLINE Int8_t
WordS8_mul(Int8_t
,Int8_t
);
1049 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_mulCheckOverflows(Int8_t
,Int8_t
);
1050 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_negCheckOverflows(Int8_t
);
1051 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int8_t
WordS8_quot(Int8_t
,Int8_t
);
1052 MLTON_CODEGEN_WORDSQUOTREM(MLTON_CODEGEN_STATIC_INLINE
) Int8_t
WordS8_rem(Int8_t
,Int8_t
);
1053 PRIVATE Real32_t
WordS8_rndToReal32(Int8_t
);
1054 PRIVATE Real64_t
WordS8_rndToReal64(Int8_t
);
1055 MLTON_CODEGEN_STATIC_INLINE Int8_t
WordS8_rshift(Int8_t
,Word32_t
);
1056 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordS8_subCheckOverflows(Int8_t
,Int8_t
);
1057 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_addCheckOverflows(Word16_t
,Word16_t
);
1058 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU16_extdToWord16(Word16_t
);
1059 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU16_extdToWord32(Word16_t
);
1060 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU16_extdToWord64(Word16_t
);
1061 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU16_extdToWord8(Word16_t
);
1062 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_ge(Word16_t
,Word16_t
);
1063 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_gt(Word16_t
,Word16_t
);
1064 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_le(Word16_t
,Word16_t
);
1065 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_lt(Word16_t
,Word16_t
);
1066 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU16_mul(Word16_t
,Word16_t
);
1067 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU16_mulCheckOverflows(Word16_t
,Word16_t
);
1068 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU16_quot(Word16_t
,Word16_t
);
1069 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU16_rem(Word16_t
,Word16_t
);
1070 PRIVATE Real32_t
WordU16_rndToReal32(Word16_t
);
1071 PRIVATE Real64_t
WordU16_rndToReal64(Word16_t
);
1072 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU16_rshift(Word16_t
,Word32_t
);
1073 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_addCheckOverflows(Word32_t
,Word32_t
);
1074 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU32_extdToWord16(Word32_t
);
1075 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU32_extdToWord32(Word32_t
);
1076 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU32_extdToWord64(Word32_t
);
1077 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU32_extdToWord8(Word32_t
);
1078 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_ge(Word32_t
,Word32_t
);
1079 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_gt(Word32_t
,Word32_t
);
1080 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_le(Word32_t
,Word32_t
);
1081 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_lt(Word32_t
,Word32_t
);
1082 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU32_mul(Word32_t
,Word32_t
);
1083 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU32_mulCheckOverflows(Word32_t
,Word32_t
);
1084 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU32_quot(Word32_t
,Word32_t
);
1085 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU32_rem(Word32_t
,Word32_t
);
1086 PRIVATE Real32_t
WordU32_rndToReal32(Word32_t
);
1087 PRIVATE Real64_t
WordU32_rndToReal64(Word32_t
);
1088 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU32_rshift(Word32_t
,Word32_t
);
1089 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_addCheckOverflows(Word64_t
,Word64_t
);
1090 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU64_extdToWord16(Word64_t
);
1091 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU64_extdToWord32(Word64_t
);
1092 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU64_extdToWord64(Word64_t
);
1093 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU64_extdToWord8(Word64_t
);
1094 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_ge(Word64_t
,Word64_t
);
1095 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_gt(Word64_t
,Word64_t
);
1096 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_le(Word64_t
,Word64_t
);
1097 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_lt(Word64_t
,Word64_t
);
1098 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU64_mul(Word64_t
,Word64_t
);
1099 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU64_mulCheckOverflows(Word64_t
,Word64_t
);
1100 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU64_quot(Word64_t
,Word64_t
);
1101 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU64_rem(Word64_t
,Word64_t
);
1102 PRIVATE Real32_t
WordU64_rndToReal32(Word64_t
);
1103 PRIVATE Real64_t
WordU64_rndToReal64(Word64_t
);
1104 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU64_rshift(Word64_t
,Word32_t
);
1105 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_addCheckOverflows(Word8_t
,Word8_t
);
1106 MLTON_CODEGEN_STATIC_INLINE Word16_t
WordU8_extdToWord16(Word8_t
);
1107 MLTON_CODEGEN_STATIC_INLINE Word32_t
WordU8_extdToWord32(Word8_t
);
1108 MLTON_CODEGEN_STATIC_INLINE Word64_t
WordU8_extdToWord64(Word8_t
);
1109 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU8_extdToWord8(Word8_t
);
1110 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_ge(Word8_t
,Word8_t
);
1111 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_gt(Word8_t
,Word8_t
);
1112 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_le(Word8_t
,Word8_t
);
1113 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_lt(Word8_t
,Word8_t
);
1114 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU8_mul(Word8_t
,Word8_t
);
1115 MLTON_CODEGEN_STATIC_INLINE Bool_t
WordU8_mulCheckOverflows(Word8_t
,Word8_t
);
1116 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU8_quot(Word8_t
,Word8_t
);
1117 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU8_rem(Word8_t
,Word8_t
);
1118 PRIVATE Real32_t
WordU8_rndToReal32(Word8_t
);
1119 PRIVATE Real64_t
WordU8_rndToReal64(Word8_t
);
1120 MLTON_CODEGEN_STATIC_INLINE Word8_t
WordU8_rshift(Word8_t
,Word32_t
);
1121 #endif /* _MLTON_BASIS_FFI_H_ */