basis-library/primitive/basis-ffi.sml

   1 (* This file is automatically generated.  Do not edit. *)
   2
   3 local open Primitive in
   4 structure PrimitiveFFI =
   5 struct
   6 structure CommandLine =
   7 struct
   8 val (argcGet, argcSet) = _symbol "CommandLine_argc" private : (unit -> (C_Int.t)) * ((C_Int.t) -> unit);
   9 val (argvGet, argvSet) = _symbol "CommandLine_argv" private : (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit);
  10 val (commandNameGet, commandNameSet) = _symbol "CommandLine_commandName" private : (unit -> (C_String.t)) * ((C_String.t) -> unit);
  11 end
  12 structure Cygwin =
  13 struct
  14 val toFullWindowsPath = _import "Cygwin_toFullWindowsPath" private : NullString8.t -> C_String.t;
  15 end
  16 structure Date =
  17 struct
  18 val gmTime = _import "Date_gmTime" private : (C_Time.t) ref -> (C_Int.t) C_Errno.t;
  19 val localOffset = _import "Date_localOffset" private : unit -> C_Double.t;
  20 val localTime = _import "Date_localTime" private : (C_Time.t) ref -> (C_Int.t) C_Errno.t;
  21 val mkTime = _import "Date_mkTime" private : unit -> (C_Time.t) C_Errno.t;
  22 val strfTime = _import "Date_strfTime" private : (Char8.t) array * C_Size.t * NullString8.t -> C_Size.t;
  23 structure Tm =
  24 struct
  25 val getHour = _import "Date_Tm_getHour" private : unit -> C_Int.t;
  26 val getIsDst = _import "Date_Tm_getIsDst" private : unit -> C_Int.t;
  27 val getMDay = _import "Date_Tm_getMDay" private : unit -> C_Int.t;
  28 val getMin = _import "Date_Tm_getMin" private : unit -> C_Int.t;
  29 val getMon = _import "Date_Tm_getMon" private : unit -> C_Int.t;
  30 val getSec = _import "Date_Tm_getSec" private : unit -> C_Int.t;
  31 val getWDay = _import "Date_Tm_getWDay" private : unit -> C_Int.t;
  32 val getYDay = _import "Date_Tm_getYDay" private : unit -> C_Int.t;
  33 val getYear = _import "Date_Tm_getYear" private : unit -> C_Int.t;
  34 val setHour = _import "Date_Tm_setHour" private : C_Int.t -> unit;
  35 val setIsDst = _import "Date_Tm_setIsDst" private : C_Int.t -> unit;
  36 val setMDay = _import "Date_Tm_setMDay" private : C_Int.t -> unit;
  37 val setMin = _import "Date_Tm_setMin" private : C_Int.t -> unit;
  38 val setMon = _import "Date_Tm_setMon" private : C_Int.t -> unit;
  39 val setSec = _import "Date_Tm_setSec" private : C_Int.t -> unit;
  40 val setWDay = _import "Date_Tm_setWDay" private : C_Int.t -> unit;
  41 val setYDay = _import "Date_Tm_setYDay" private : C_Int.t -> unit;
  42 val setYear = _import "Date_Tm_setYear" private : C_Int.t -> unit;
  43 end
  44 end
  45 structure IEEEReal =
  46 struct
  47 val getRoundingMode = _import "IEEEReal_getRoundingMode" private : unit -> C_Int.t;
  48 structure RoundingMode =
  49 struct
  50 val FE_DOWNWARD = _const "IEEEReal_RoundingMode_FE_DOWNWARD" : C_Int.t;
  51 val FE_NOSUPPORT = _const "IEEEReal_RoundingMode_FE_NOSUPPORT" : C_Int.t;
  52 val FE_TONEAREST = _const "IEEEReal_RoundingMode_FE_TONEAREST" : C_Int.t;
  53 val FE_TOWARDZERO = _const "IEEEReal_RoundingMode_FE_TOWARDZERO" : C_Int.t;
  54 val FE_UPWARD = _const "IEEEReal_RoundingMode_FE_UPWARD" : C_Int.t;
  55 end
  56 val setRoundingMode = _import "IEEEReal_setRoundingMode" private : C_Int.t -> C_Int.t;
  57 end
  58 structure MinGW =
  59 struct
  60 val clearNonBlock = _import "MinGW_clearNonBlock" private : C_Fd.t -> unit;
  61 val getTempPath = _import "MinGW_getTempPath" private : C_Size.t * (Char8.t) array -> C_Size.t;
  62 val setNonBlock = _import "MinGW_setNonBlock" private : C_Fd.t -> unit;
  63 end
  64 structure MLton =
  65 struct
  66 val bug = _import "MLton_bug" private : String8.t -> unit;
  67 structure Itimer =
  68 struct
  69 val PROF = _const "MLton_Itimer_PROF" : C_Int.t;
  70 val REAL = _const "MLton_Itimer_REAL" : C_Int.t;
  71 val set = _import "MLton_Itimer_set" private : C_Int.t * C_Time.t * C_SUSeconds.t * C_Time.t * C_SUSeconds.t -> (C_Int.t) C_Errno.t;
  72 val VIRTUAL = _const "MLton_Itimer_VIRTUAL" : C_Int.t;
  73 end
  74 structure Process =
  75 struct
  76 val spawne = _import "MLton_Process_spawne" private : NullString8.t * (NullString8.t) array * (NullString8.t) array -> (C_PId.t) C_Errno.t;
  77 val spawnp = _import "MLton_Process_spawnp" private : NullString8.t * (NullString8.t) array -> (C_PId.t) C_Errno.t;
  78 end
  79 structure Rlimit =
  80 struct
  81 val AS = _const "MLton_Rlimit_AS" : C_Int.t;
  82 val CORE = _const "MLton_Rlimit_CORE" : C_Int.t;
  83 val CPU = _const "MLton_Rlimit_CPU" : C_Int.t;
  84 val DATA = _const "MLton_Rlimit_DATA" : C_Int.t;
  85 val FSIZE = _const "MLton_Rlimit_FSIZE" : C_Int.t;
  86 val get = _import "MLton_Rlimit_get" private : C_Int.t -> (C_Int.t) C_Errno.t;
  87 val getHard = _import "MLton_Rlimit_getHard" private : unit -> C_RLim.t;
  88 val getSoft = _import "MLton_Rlimit_getSoft" private : unit -> C_RLim.t;
  89 val INFINITY = _const "MLton_Rlimit_INFINITY" : C_RLim.t;
  90 val MEMLOCK = _const "MLton_Rlimit_MEMLOCK" : C_Int.t;
  91 val NOFILE = _const "MLton_Rlimit_NOFILE" : C_Int.t;
  92 val NPROC = _const "MLton_Rlimit_NPROC" : C_Int.t;
  93 val RSS = _const "MLton_Rlimit_RSS" : C_Int.t;
  94 val set = _import "MLton_Rlimit_set" private : C_Int.t * C_RLim.t * C_RLim.t -> (C_Int.t) C_Errno.t;
  95 val STACK = _const "MLton_Rlimit_STACK" : C_Int.t;
  96 end
  97 structure Rusage =
  98 struct
  99 val children_stime_sec = _import "MLton_Rusage_children_stime_sec" private : unit -> C_Time.t;
 100 val children_stime_usec = _import "MLton_Rusage_children_stime_usec" private : unit -> C_SUSeconds.t;
 101 val children_utime_sec = _import "MLton_Rusage_children_utime_sec" private : unit -> C_Time.t;
 102 val children_utime_usec = _import "MLton_Rusage_children_utime_usec" private : unit -> C_SUSeconds.t;
 103 val gc_stime_sec = _import "MLton_Rusage_gc_stime_sec" private : unit -> C_Time.t;
 104 val gc_stime_usec = _import "MLton_Rusage_gc_stime_usec" private : unit -> C_SUSeconds.t;
 105 val gc_utime_sec = _import "MLton_Rusage_gc_utime_sec" private : unit -> C_Time.t;
 106 val gc_utime_usec = _import "MLton_Rusage_gc_utime_usec" private : unit -> C_SUSeconds.t;
 107 val getrusage = _import "MLton_Rusage_getrusage" private : unit -> unit;
 108 val self_stime_sec = _import "MLton_Rusage_self_stime_sec" private : unit -> C_Time.t;
 109 val self_stime_usec = _import "MLton_Rusage_self_stime_usec" private : unit -> C_SUSeconds.t;
 110 val self_utime_sec = _import "MLton_Rusage_self_utime_sec" private : unit -> C_Time.t;
 111 val self_utime_usec = _import "MLton_Rusage_self_utime_usec" private : unit -> C_SUSeconds.t;
 112 end
 113 structure Syslog =
 114 struct
 115 val closelog = _import "MLton_Syslog_closelog" private : unit -> unit;
 116 structure Facility =
 117 struct
 118 val LOG_AUTH = _const "MLton_Syslog_Facility_LOG_AUTH" : C_Int.t;
 119 val LOG_CRON = _const "MLton_Syslog_Facility_LOG_CRON" : C_Int.t;
 120 val LOG_DAEMON = _const "MLton_Syslog_Facility_LOG_DAEMON" : C_Int.t;
 121 val LOG_KERN = _const "MLton_Syslog_Facility_LOG_KERN" : C_Int.t;
 122 val LOG_LOCAL0 = _const "MLton_Syslog_Facility_LOG_LOCAL0" : C_Int.t;
 123 val LOG_LOCAL1 = _const "MLton_Syslog_Facility_LOG_LOCAL1" : C_Int.t;
 124 val LOG_LOCAL2 = _const "MLton_Syslog_Facility_LOG_LOCAL2" : C_Int.t;
 125 val LOG_LOCAL3 = _const "MLton_Syslog_Facility_LOG_LOCAL3" : C_Int.t;
 126 val LOG_LOCAL4 = _const "MLton_Syslog_Facility_LOG_LOCAL4" : C_Int.t;
 127 val LOG_LOCAL5 = _const "MLton_Syslog_Facility_LOG_LOCAL5" : C_Int.t;
 128 val LOG_LOCAL6 = _const "MLton_Syslog_Facility_LOG_LOCAL6" : C_Int.t;
 129 val LOG_LOCAL7 = _const "MLton_Syslog_Facility_LOG_LOCAL7" : C_Int.t;
 130 val LOG_LPR = _const "MLton_Syslog_Facility_LOG_LPR" : C_Int.t;
 131 val LOG_MAIL = _const "MLton_Syslog_Facility_LOG_MAIL" : C_Int.t;
 132 val LOG_NEWS = _const "MLton_Syslog_Facility_LOG_NEWS" : C_Int.t;
 133 val LOG_SYSLOG = _const "MLton_Syslog_Facility_LOG_SYSLOG" : C_Int.t;
 134 val LOG_USER = _const "MLton_Syslog_Facility_LOG_USER" : C_Int.t;
 135 val LOG_UUCP = _const "MLton_Syslog_Facility_LOG_UUCP" : C_Int.t;
 136 end
 137 structure Logopt =
 138 struct
 139 val LOG_CONS = _const "MLton_Syslog_Logopt_LOG_CONS" : C_Int.t;
 140 val LOG_NDELAY = _const "MLton_Syslog_Logopt_LOG_NDELAY" : C_Int.t;
 141 val LOG_NOWAIT = _const "MLton_Syslog_Logopt_LOG_NOWAIT" : C_Int.t;
 142 val LOG_ODELAY = _const "MLton_Syslog_Logopt_LOG_ODELAY" : C_Int.t;
 143 val LOG_PERROR = _const "MLton_Syslog_Logopt_LOG_PERROR" : C_Int.t;
 144 val LOG_PID = _const "MLton_Syslog_Logopt_LOG_PID" : C_Int.t;
 145 end
 146 val openlog = _import "MLton_Syslog_openlog" private : NullString8.t * C_Int.t * C_Int.t -> unit;
 147 structure Severity =
 148 struct
 149 val LOG_ALERT = _const "MLton_Syslog_Severity_LOG_ALERT" : C_Int.t;
 150 val LOG_CRIT = _const "MLton_Syslog_Severity_LOG_CRIT" : C_Int.t;
 151 val LOG_DEBUG = _const "MLton_Syslog_Severity_LOG_DEBUG" : C_Int.t;
 152 val LOG_EMERG = _const "MLton_Syslog_Severity_LOG_EMERG" : C_Int.t;
 153 val LOG_ERR = _const "MLton_Syslog_Severity_LOG_ERR" : C_Int.t;
 154 val LOG_INFO = _const "MLton_Syslog_Severity_LOG_INFO" : C_Int.t;
 155 val LOG_NOTICE = _const "MLton_Syslog_Severity_LOG_NOTICE" : C_Int.t;
 156 val LOG_WARNING = _const "MLton_Syslog_Severity_LOG_WARNING" : C_Int.t;
 157 end
 158 val syslog = _import "MLton_Syslog_syslog" private : C_Int.t * NullString8.t -> unit;
 159 end
 160 end
 161 structure Net =
 162 struct
 163 val htonl = _import "Net_htonl" private : Word32.t -> Word32.t;
 164 val htons = _import "Net_htons" private : Word16.t -> Word16.t;
 165 val ntohl = _import "Net_ntohl" private : Word32.t -> Word32.t;
 166 val ntohs = _import "Net_ntohs" private : Word16.t -> Word16.t;
 167 end
 168 structure NetHostDB =
 169 struct
 170 val getByAddress = _import "NetHostDB_getByAddress" private : (Word8.t) vector * C_Socklen.t -> C_Int.t;
 171 val getByName = _import "NetHostDB_getByName" private : NullString8.t -> C_Int.t;
 172 val getEntryAddrsN = _import "NetHostDB_getEntryAddrsN" private : C_Int.t * (Word8.t) array -> unit;
 173 val getEntryAddrsNum = _import "NetHostDB_getEntryAddrsNum" private : unit -> C_Int.t;
 174 val getEntryAddrType = _import "NetHostDB_getEntryAddrType" private : unit -> C_Int.t;
 175 val getEntryAliasesN = _import "NetHostDB_getEntryAliasesN" private : C_Int.t -> C_String.t;
 176 val getEntryAliasesNum = _import "NetHostDB_getEntryAliasesNum" private : unit -> C_Int.t;
 177 val getEntryLength = _import "NetHostDB_getEntryLength" private : unit -> C_Int.t;
 178 val getEntryName = _import "NetHostDB_getEntryName" private : unit -> C_String.t;
 179 val getHostName = _import "NetHostDB_getHostName" private : (Char8.t) array * C_Size.t -> (C_Int.t) C_Errno.t;
 180 val INADDR_ANY = _const "NetHostDB_INADDR_ANY" : C_Int.t;
 181 val inAddrSize = _const "NetHostDB_inAddrSize" : C_Size.t;
 182 end
 183 structure NetProtDB =
 184 struct
 185 val getByName = _import "NetProtDB_getByName" private : NullString8.t -> C_Int.t;
 186 val getByNumber = _import "NetProtDB_getByNumber" private : C_Int.t -> C_Int.t;
 187 val getEntryAliasesN = _import "NetProtDB_getEntryAliasesN" private : C_Int.t -> C_String.t;
 188 val getEntryAliasesNum = _import "NetProtDB_getEntryAliasesNum" private : unit -> C_Int.t;
 189 val getEntryName = _import "NetProtDB_getEntryName" private : unit -> C_String.t;
 190 val getEntryProto = _import "NetProtDB_getEntryProto" private : unit -> C_Int.t;
 191 end
 192 structure NetServDB =
 193 struct
 194 val getByName = _import "NetServDB_getByName" private : NullString8.t * NullString8.t -> C_Int.t;
 195 val getByNameNull = _import "NetServDB_getByNameNull" private : NullString8.t -> C_Int.t;
 196 val getByPort = _import "NetServDB_getByPort" private : C_Int.t * NullString8.t -> C_Int.t;
 197 val getByPortNull = _import "NetServDB_getByPortNull" private : C_Int.t -> C_Int.t;
 198 val getEntryAliasesN = _import "NetServDB_getEntryAliasesN" private : C_Int.t -> C_String.t;
 199 val getEntryAliasesNum = _import "NetServDB_getEntryAliasesNum" private : unit -> C_Int.t;
 200 val getEntryName = _import "NetServDB_getEntryName" private : unit -> C_String.t;
 201 val getEntryPort = _import "NetServDB_getEntryPort" private : unit -> C_Int.t;
 202 val getEntryProto = _import "NetServDB_getEntryProto" private : unit -> C_String.t;
 203 end
 204 structure OS =
 205 struct
 206 structure IO =
 207 struct
 208 val poll = _import "OS_IO_poll" private : (C_Fd.t) vector * (C_Short.t) vector * C_NFds.t * C_Int.t * (C_Short.t) array -> (C_Int.t) C_Errno.t;
 209 val POLLIN = _const "OS_IO_POLLIN" : C_Short.t;
 210 val POLLOUT = _const "OS_IO_POLLOUT" : C_Short.t;
 211 val POLLPRI = _const "OS_IO_POLLPRI" : C_Short.t;
 212 end
 213 end
 214 structure Posix =
 215 struct
 216 structure Error =
 217 struct
 218 val clearErrno = _import "Posix_Error_clearErrno" private : unit -> unit;
 219 val E2BIG = _const "Posix_Error_E2BIG" : C_Int.t;
 220 val EACCES = _const "Posix_Error_EACCES" : C_Int.t;
 221 val EADDRINUSE = _const "Posix_Error_EADDRINUSE" : C_Int.t;
 222 val EADDRNOTAVAIL = _const "Posix_Error_EADDRNOTAVAIL" : C_Int.t;
 223 val EAFNOSUPPORT = _const "Posix_Error_EAFNOSUPPORT" : C_Int.t;
 224 val EAGAIN = _const "Posix_Error_EAGAIN" : C_Int.t;
 225 val EALREADY = _const "Posix_Error_EALREADY" : C_Int.t;
 226 val EBADF = _const "Posix_Error_EBADF" : C_Int.t;
 227 val EBADMSG = _const "Posix_Error_EBADMSG" : C_Int.t;
 228 val EBUSY = _const "Posix_Error_EBUSY" : C_Int.t;
 229 val ECANCELED = _const "Posix_Error_ECANCELED" : C_Int.t;
 230 val ECHILD = _const "Posix_Error_ECHILD" : C_Int.t;
 231 val ECONNABORTED = _const "Posix_Error_ECONNABORTED" : C_Int.t;
 232 val ECONNREFUSED = _const "Posix_Error_ECONNREFUSED" : C_Int.t;
 233 val ECONNRESET = _const "Posix_Error_ECONNRESET" : C_Int.t;
 234 val EDEADLK = _const "Posix_Error_EDEADLK" : C_Int.t;
 235 val EDESTADDRREQ = _const "Posix_Error_EDESTADDRREQ" : C_Int.t;
 236 val EDOM = _const "Posix_Error_EDOM" : C_Int.t;
 237 val EDQUOT = _const "Posix_Error_EDQUOT" : C_Int.t;
 238 val EEXIST = _const "Posix_Error_EEXIST" : C_Int.t;
 239 val EFAULT = _const "Posix_Error_EFAULT" : C_Int.t;
 240 val EFBIG = _const "Posix_Error_EFBIG" : C_Int.t;
 241 val EHOSTUNREACH = _const "Posix_Error_EHOSTUNREACH" : C_Int.t;
 242 val EIDRM = _const "Posix_Error_EIDRM" : C_Int.t;
 243 val EILSEQ = _const "Posix_Error_EILSEQ" : C_Int.t;
 244 val EINPROGRESS = _const "Posix_Error_EINPROGRESS" : C_Int.t;
 245 val EINTR = _const "Posix_Error_EINTR" : C_Int.t;
 246 val EINVAL = _const "Posix_Error_EINVAL" : C_Int.t;
 247 val EIO = _const "Posix_Error_EIO" : C_Int.t;
 248 val EISCONN = _const "Posix_Error_EISCONN" : C_Int.t;
 249 val EISDIR = _const "Posix_Error_EISDIR" : C_Int.t;
 250 val ELOOP = _const "Posix_Error_ELOOP" : C_Int.t;
 251 val EMFILE = _const "Posix_Error_EMFILE" : C_Int.t;
 252 val EMLINK = _const "Posix_Error_EMLINK" : C_Int.t;
 253 val EMSGSIZE = _const "Posix_Error_EMSGSIZE" : C_Int.t;
 254 val EMULTIHOP = _const "Posix_Error_EMULTIHOP" : C_Int.t;
 255 val ENAMETOOLONG = _const "Posix_Error_ENAMETOOLONG" : C_Int.t;
 256 val ENETDOWN = _const "Posix_Error_ENETDOWN" : C_Int.t;
 257 val ENETRESET = _const "Posix_Error_ENETRESET" : C_Int.t;
 258 val ENETUNREACH = _const "Posix_Error_ENETUNREACH" : C_Int.t;
 259 val ENFILE = _const "Posix_Error_ENFILE" : C_Int.t;
 260 val ENOBUFS = _const "Posix_Error_ENOBUFS" : C_Int.t;
 261 val ENODATA = _const "Posix_Error_ENODATA" : C_Int.t;
 262 val ENODEV = _const "Posix_Error_ENODEV" : C_Int.t;
 263 val ENOENT = _const "Posix_Error_ENOENT" : C_Int.t;
 264 val ENOEXEC = _const "Posix_Error_ENOEXEC" : C_Int.t;
 265 val ENOLCK = _const "Posix_Error_ENOLCK" : C_Int.t;
 266 val ENOLINK = _const "Posix_Error_ENOLINK" : C_Int.t;
 267 val ENOMEM = _const "Posix_Error_ENOMEM" : C_Int.t;
 268 val ENOMSG = _const "Posix_Error_ENOMSG" : C_Int.t;
 269 val ENOPROTOOPT = _const "Posix_Error_ENOPROTOOPT" : C_Int.t;
 270 val ENOSPC = _const "Posix_Error_ENOSPC" : C_Int.t;
 271 val ENOSR = _const "Posix_Error_ENOSR" : C_Int.t;
 272 val ENOSTR = _const "Posix_Error_ENOSTR" : C_Int.t;
 273 val ENOSYS = _const "Posix_Error_ENOSYS" : C_Int.t;
 274 val ENOTCONN = _const "Posix_Error_ENOTCONN" : C_Int.t;
 275 val ENOTDIR = _const "Posix_Error_ENOTDIR" : C_Int.t;
 276 val ENOTEMPTY = _const "Posix_Error_ENOTEMPTY" : C_Int.t;
 277 val ENOTSOCK = _const "Posix_Error_ENOTSOCK" : C_Int.t;
 278 val ENOTSUP = _const "Posix_Error_ENOTSUP" : C_Int.t;
 279 val ENOTTY = _const "Posix_Error_ENOTTY" : C_Int.t;
 280 val ENXIO = _const "Posix_Error_ENXIO" : C_Int.t;
 281 val EOPNOTSUPP = _const "Posix_Error_EOPNOTSUPP" : C_Int.t;
 282 val EOVERFLOW = _const "Posix_Error_EOVERFLOW" : C_Int.t;
 283 val EPERM = _const "Posix_Error_EPERM" : C_Int.t;
 284 val EPIPE = _const "Posix_Error_EPIPE" : C_Int.t;
 285 val EPROTO = _const "Posix_Error_EPROTO" : C_Int.t;
 286 val EPROTONOSUPPORT = _const "Posix_Error_EPROTONOSUPPORT" : C_Int.t;
 287 val EPROTOTYPE = _const "Posix_Error_EPROTOTYPE" : C_Int.t;
 288 val ERANGE = _const "Posix_Error_ERANGE" : C_Int.t;
 289 val EROFS = _const "Posix_Error_EROFS" : C_Int.t;
 290 val ESPIPE = _const "Posix_Error_ESPIPE" : C_Int.t;
 291 val ESRCH = _const "Posix_Error_ESRCH" : C_Int.t;
 292 val ESTALE = _const "Posix_Error_ESTALE" : C_Int.t;
 293 val ETIME = _const "Posix_Error_ETIME" : C_Int.t;
 294 val ETIMEDOUT = _const "Posix_Error_ETIMEDOUT" : C_Int.t;
 295 val ETXTBSY = _const "Posix_Error_ETXTBSY" : C_Int.t;
 296 val EWOULDBLOCK = _const "Posix_Error_EWOULDBLOCK" : C_Int.t;
 297 val EXDEV = _const "Posix_Error_EXDEV" : C_Int.t;
 298 val getErrno = _import "Posix_Error_getErrno" private : unit -> C_Int.t;
 299 val strError = _import "Posix_Error_strError" private : C_Int.t -> C_String.t;
 300 end
 301 structure FileSys =
 302 struct
 303 structure A =
 304 struct
 305 val F_OK = _const "Posix_FileSys_A_F_OK" : C_Int.t;
 306 val R_OK = _const "Posix_FileSys_A_R_OK" : C_Int.t;
 307 val W_OK = _const "Posix_FileSys_A_W_OK" : C_Int.t;
 308 val X_OK = _const "Posix_FileSys_A_X_OK" : C_Int.t;
 309 end
 310 val access = _import "Posix_FileSys_access" private : NullString8.t * C_Int.t -> (C_Int.t) C_Errno.t;
 311 val chdir = _import "Posix_FileSys_chdir" private : NullString8.t -> (C_Int.t) C_Errno.t;
 312 val chmod = _import "Posix_FileSys_chmod" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
 313 val chown = _import "Posix_FileSys_chown" private : NullString8.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t;
 314 structure Dirstream =
 315 struct
 316 val closeDir = _import "Posix_FileSys_Dirstream_closeDir" private : C_DirP.t -> (C_Int.t) C_Errno.t;
 317 val openDir = _import "Posix_FileSys_Dirstream_openDir" private : NullString8.t -> (C_DirP.t) C_Errno.t;
 318 val readDir = _import "Posix_FileSys_Dirstream_readDir" private : C_DirP.t -> (C_String.t) C_Errno.t;
 319 val rewindDir = _import "Posix_FileSys_Dirstream_rewindDir" private : C_DirP.t -> unit;
 320 end
 321 val fchdir = _import "Posix_FileSys_fchdir" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 322 val fchmod = _import "Posix_FileSys_fchmod" private : C_Fd.t * C_Mode.t -> (C_Int.t) C_Errno.t;
 323 val fchown = _import "Posix_FileSys_fchown" private : C_Fd.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t;
 324 val fpathconf = _import "Posix_FileSys_fpathconf" private : C_Fd.t * C_Int.t -> (C_Long.t) C_Errno.t;
 325 val ftruncate = _import "Posix_FileSys_ftruncate" private : C_Fd.t * C_Off.t -> (C_Int.t) C_Errno.t;
 326 val getcwd = _import "Posix_FileSys_getcwd" private : (Char8.t) array * C_Size.t -> (C_String.t) C_Errno.t;
 327 val link = _import "Posix_FileSys_link" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
 328 val mkdir = _import "Posix_FileSys_mkdir" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
 329 val mkfifo = _import "Posix_FileSys_mkfifo" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
 330 structure O =
 331 struct
 332 val APPEND = _const "Posix_FileSys_O_APPEND" : C_Int.t;
 333 val BINARY = _const "Posix_FileSys_O_BINARY" : C_Int.t;
 334 val CREAT = _const "Posix_FileSys_O_CREAT" : C_Int.t;
 335 val DSYNC = _const "Posix_FileSys_O_DSYNC" : C_Int.t;
 336 val EXCL = _const "Posix_FileSys_O_EXCL" : C_Int.t;
 337 val NOCTTY = _const "Posix_FileSys_O_NOCTTY" : C_Int.t;
 338 val NONBLOCK = _const "Posix_FileSys_O_NONBLOCK" : C_Int.t;
 339 val RDONLY = _const "Posix_FileSys_O_RDONLY" : C_Int.t;
 340 val RDWR = _const "Posix_FileSys_O_RDWR" : C_Int.t;
 341 val RSYNC = _const "Posix_FileSys_O_RSYNC" : C_Int.t;
 342 val SYNC = _const "Posix_FileSys_O_SYNC" : C_Int.t;
 343 val TEXT = _const "Posix_FileSys_O_TEXT" : C_Int.t;
 344 val TRUNC = _const "Posix_FileSys_O_TRUNC" : C_Int.t;
 345 val WRONLY = _const "Posix_FileSys_O_WRONLY" : C_Int.t;
 346 end
 347 val open2 = _import "Posix_FileSys_open2" private : NullString8.t * C_Int.t -> (C_Fd.t) C_Errno.t;
 348 val open3 = _import "Posix_FileSys_open3" private : NullString8.t * C_Int.t * C_Mode.t -> (C_Fd.t) C_Errno.t;
 349 val pathconf = _import "Posix_FileSys_pathconf" private : NullString8.t * C_Int.t -> (C_Long.t) C_Errno.t;
 350 structure PC =
 351 struct
 352 val ALLOC_SIZE_MIN = _const "Posix_FileSys_PC_ALLOC_SIZE_MIN" : C_Int.t;
 353 val ASYNC_IO = _const "Posix_FileSys_PC_ASYNC_IO" : C_Int.t;
 354 val CHOWN_RESTRICTED = _const "Posix_FileSys_PC_CHOWN_RESTRICTED" : C_Int.t;
 355 val FILESIZEBITS = _const "Posix_FileSys_PC_FILESIZEBITS" : C_Int.t;
 356 val LINK_MAX = _const "Posix_FileSys_PC_LINK_MAX" : C_Int.t;
 357 val MAX_CANON = _const "Posix_FileSys_PC_MAX_CANON" : C_Int.t;
 358 val MAX_INPUT = _const "Posix_FileSys_PC_MAX_INPUT" : C_Int.t;
 359 val NAME_MAX = _const "Posix_FileSys_PC_NAME_MAX" : C_Int.t;
 360 val NO_TRUNC = _const "Posix_FileSys_PC_NO_TRUNC" : C_Int.t;
 361 val PATH_MAX = _const "Posix_FileSys_PC_PATH_MAX" : C_Int.t;
 362 val PIPE_BUF = _const "Posix_FileSys_PC_PIPE_BUF" : C_Int.t;
 363 val PRIO_IO = _const "Posix_FileSys_PC_PRIO_IO" : C_Int.t;
 364 val REC_INCR_XFER_SIZE = _const "Posix_FileSys_PC_REC_INCR_XFER_SIZE" : C_Int.t;
 365 val REC_MAX_XFER_SIZE = _const "Posix_FileSys_PC_REC_MAX_XFER_SIZE" : C_Int.t;
 366 val REC_MIN_XFER_SIZE = _const "Posix_FileSys_PC_REC_MIN_XFER_SIZE" : C_Int.t;
 367 val REC_XFER_ALIGN = _const "Posix_FileSys_PC_REC_XFER_ALIGN" : C_Int.t;
 368 val SYMLINK_MAX = _const "Posix_FileSys_PC_SYMLINK_MAX" : C_Int.t;
 369 val SYNC_IO = _const "Posix_FileSys_PC_SYNC_IO" : C_Int.t;
 370 val TWO_SYMLINKS = _const "Posix_FileSys_PC_TWO_SYMLINKS" : C_Int.t;
 371 val VDISABLE = _const "Posix_FileSys_PC_VDISABLE" : C_Int.t;
 372 end
 373 val readlink = _import "Posix_FileSys_readlink" private : NullString8.t * (Char8.t) array * C_Size.t -> (C_SSize.t) C_Errno.t;
 374 val rename = _import "Posix_FileSys_rename" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
 375 val rmdir = _import "Posix_FileSys_rmdir" private : NullString8.t -> (C_Int.t) C_Errno.t;
 376 structure S =
 377 struct
 378 val IFBLK = _const "Posix_FileSys_S_IFBLK" : C_Mode.t;
 379 val IFCHR = _const "Posix_FileSys_S_IFCHR" : C_Mode.t;
 380 val IFDIR = _const "Posix_FileSys_S_IFDIR" : C_Mode.t;
 381 val IFIFO = _const "Posix_FileSys_S_IFIFO" : C_Mode.t;
 382 val IFLNK = _const "Posix_FileSys_S_IFLNK" : C_Mode.t;
 383 val IFMT = _const "Posix_FileSys_S_IFMT" : C_Mode.t;
 384 val IFREG = _const "Posix_FileSys_S_IFREG" : C_Mode.t;
 385 val IFSOCK = _const "Posix_FileSys_S_IFSOCK" : C_Mode.t;
 386 val IRGRP = _const "Posix_FileSys_S_IRGRP" : C_Mode.t;
 387 val IROTH = _const "Posix_FileSys_S_IROTH" : C_Mode.t;
 388 val IRUSR = _const "Posix_FileSys_S_IRUSR" : C_Mode.t;
 389 val IRWXG = _const "Posix_FileSys_S_IRWXG" : C_Mode.t;
 390 val IRWXO = _const "Posix_FileSys_S_IRWXO" : C_Mode.t;
 391 val IRWXU = _const "Posix_FileSys_S_IRWXU" : C_Mode.t;
 392 val ISGID = _const "Posix_FileSys_S_ISGID" : C_Mode.t;
 393 val ISUID = _const "Posix_FileSys_S_ISUID" : C_Mode.t;
 394 val ISVTX = _const "Posix_FileSys_S_ISVTX" : C_Mode.t;
 395 val IWGRP = _const "Posix_FileSys_S_IWGRP" : C_Mode.t;
 396 val IWOTH = _const "Posix_FileSys_S_IWOTH" : C_Mode.t;
 397 val IWUSR = _const "Posix_FileSys_S_IWUSR" : C_Mode.t;
 398 val IXGRP = _const "Posix_FileSys_S_IXGRP" : C_Mode.t;
 399 val IXOTH = _const "Posix_FileSys_S_IXOTH" : C_Mode.t;
 400 val IXUSR = _const "Posix_FileSys_S_IXUSR" : C_Mode.t;
 401 end
 402 structure ST =
 403 struct
 404 val isBlk = _import "Posix_FileSys_ST_isBlk" private : C_Mode.t -> C_Int.t;
 405 val isChr = _import "Posix_FileSys_ST_isChr" private : C_Mode.t -> C_Int.t;
 406 val isDir = _import "Posix_FileSys_ST_isDir" private : C_Mode.t -> C_Int.t;
 407 val isFIFO = _import "Posix_FileSys_ST_isFIFO" private : C_Mode.t -> C_Int.t;
 408 val isLink = _import "Posix_FileSys_ST_isLink" private : C_Mode.t -> C_Int.t;
 409 val isReg = _import "Posix_FileSys_ST_isReg" private : C_Mode.t -> C_Int.t;
 410 val isSock = _import "Posix_FileSys_ST_isSock" private : C_Mode.t -> C_Int.t;
 411 end
 412 structure Stat =
 413 struct
 414 val fstat = _import "Posix_FileSys_Stat_fstat" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 415 val getATime = _import "Posix_FileSys_Stat_getATime" private : unit -> C_Time.t;
 416 val getCTime = _import "Posix_FileSys_Stat_getCTime" private : unit -> C_Time.t;
 417 val getDev = _import "Posix_FileSys_Stat_getDev" private : unit -> C_Dev.t;
 418 val getGId = _import "Posix_FileSys_Stat_getGId" private : unit -> C_GId.t;
 419 val getINo = _import "Posix_FileSys_Stat_getINo" private : unit -> C_INo.t;
 420 val getMode = _import "Posix_FileSys_Stat_getMode" private : unit -> C_Mode.t;
 421 val getMTime = _import "Posix_FileSys_Stat_getMTime" private : unit -> C_Time.t;
 422 val getNLink = _import "Posix_FileSys_Stat_getNLink" private : unit -> C_NLink.t;
 423 val getRDev = _import "Posix_FileSys_Stat_getRDev" private : unit -> C_Dev.t;
 424 val getSize = _import "Posix_FileSys_Stat_getSize" private : unit -> C_Off.t;
 425 val getUId = _import "Posix_FileSys_Stat_getUId" private : unit -> C_UId.t;
 426 val lstat = _import "Posix_FileSys_Stat_lstat" private : NullString8.t -> (C_Int.t) C_Errno.t;
 427 val stat = _import "Posix_FileSys_Stat_stat" private : NullString8.t -> (C_Int.t) C_Errno.t;
 428 end
 429 val symlink = _import "Posix_FileSys_symlink" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
 430 val truncate = _import "Posix_FileSys_truncate" private : NullString8.t * C_Off.t -> (C_Int.t) C_Errno.t;
 431 val umask = _import "Posix_FileSys_umask" private : C_Mode.t -> C_Mode.t;
 432 val unlink = _import "Posix_FileSys_unlink" private : NullString8.t -> (C_Int.t) C_Errno.t;
 433 structure Utimbuf =
 434 struct
 435 val setAcTime = _import "Posix_FileSys_Utimbuf_setAcTime" private : C_Time.t -> unit;
 436 val setModTime = _import "Posix_FileSys_Utimbuf_setModTime" private : C_Time.t -> unit;
 437 val utime = _import "Posix_FileSys_Utimbuf_utime" private : NullString8.t -> (C_Int.t) C_Errno.t;
 438 end
 439 end
 440 structure IO =
 441 struct
 442 val close = _import "Posix_IO_close" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 443 val dup = _import "Posix_IO_dup" private : C_Fd.t -> (C_Fd.t) C_Errno.t;
 444 val dup2 = _import "Posix_IO_dup2" private : C_Fd.t * C_Fd.t -> (C_Fd.t) C_Errno.t;
 445 val F_DUPFD = _const "Posix_IO_F_DUPFD" : C_Int.t;
 446 val F_GETFD = _const "Posix_IO_F_GETFD" : C_Int.t;
 447 val F_GETFL = _const "Posix_IO_F_GETFL" : C_Int.t;
 448 val F_GETOWN = _const "Posix_IO_F_GETOWN" : C_Int.t;
 449 val F_SETFD = _const "Posix_IO_F_SETFD" : C_Int.t;
 450 val F_SETFL = _const "Posix_IO_F_SETFL" : C_Int.t;
 451 val F_SETOWN = _const "Posix_IO_F_SETOWN" : C_Int.t;
 452 val fcntl2 = _import "Posix_IO_fcntl2" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 453 val fcntl3 = _import "Posix_IO_fcntl3" private : C_Fd.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t;
 454 structure FD =
 455 struct
 456 val CLOEXEC = _const "Posix_IO_FD_CLOEXEC" : C_Int.t;
 457 end
 458 structure FLock =
 459 struct
 460 val F_GETLK = _const "Posix_IO_FLock_F_GETLK" : C_Int.t;
 461 val F_RDLCK = _const "Posix_IO_FLock_F_RDLCK" : C_Short.t;
 462 val F_SETLK = _const "Posix_IO_FLock_F_SETLK" : C_Int.t;
 463 val F_SETLKW = _const "Posix_IO_FLock_F_SETLKW" : C_Int.t;
 464 val F_UNLCK = _const "Posix_IO_FLock_F_UNLCK" : C_Short.t;
 465 val F_WRLCK = _const "Posix_IO_FLock_F_WRLCK" : C_Short.t;
 466 val fcntl = _import "Posix_IO_FLock_fcntl" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 467 val getLen = _import "Posix_IO_FLock_getLen" private : unit -> C_Off.t;
 468 val getPId = _import "Posix_IO_FLock_getPId" private : unit -> C_PId.t;
 469 val getStart = _import "Posix_IO_FLock_getStart" private : unit -> C_Off.t;
 470 val getType = _import "Posix_IO_FLock_getType" private : unit -> C_Short.t;
 471 val getWhence = _import "Posix_IO_FLock_getWhence" private : unit -> C_Short.t;
 472 val SEEK_CUR = _const "Posix_IO_FLock_SEEK_CUR" : C_Short.t;
 473 val SEEK_END = _const "Posix_IO_FLock_SEEK_END" : C_Short.t;
 474 val SEEK_SET = _const "Posix_IO_FLock_SEEK_SET" : C_Short.t;
 475 val setLen = _import "Posix_IO_FLock_setLen" private : C_Off.t -> unit;
 476 val setPId = _import "Posix_IO_FLock_setPId" private : C_PId.t -> unit;
 477 val setStart = _import "Posix_IO_FLock_setStart" private : C_Off.t -> unit;
 478 val setType = _import "Posix_IO_FLock_setType" private : C_Short.t -> unit;
 479 val setWhence = _import "Posix_IO_FLock_setWhence" private : C_Short.t -> unit;
 480 end
 481 val fsync = _import "Posix_IO_fsync" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 482 val lseek = _import "Posix_IO_lseek" private : C_Fd.t * C_Off.t * C_Int.t -> (C_Off.t) C_Errno.t;
 483 val O_ACCMODE = _const "Posix_IO_O_ACCMODE" : C_Int.t;
 484 val pipe = _import "Posix_IO_pipe" private : (C_Fd.t) array -> (C_Int.t) C_Errno.t;
 485 val readChar8 = _import "Posix_IO_readChar8" private : C_Fd.t * (Char8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 486 val readWord8 = _import "Posix_IO_readWord8" private : C_Fd.t * (Word8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 487 val SEEK_CUR = _const "Posix_IO_SEEK_CUR" : C_Int.t;
 488 val SEEK_END = _const "Posix_IO_SEEK_END" : C_Int.t;
 489 val SEEK_SET = _const "Posix_IO_SEEK_SET" : C_Int.t;
 490 val setbin = _import "Posix_IO_setbin" private : C_Fd.t -> unit;
 491 val settext = _import "Posix_IO_settext" private : C_Fd.t -> unit;
 492 val writeChar8Arr = _import "Posix_IO_writeChar8Arr" private : C_Fd.t * (Char8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 493 val writeChar8Vec = _import "Posix_IO_writeChar8Vec" private : C_Fd.t * (Char8.t) vector * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 494 val writeWord8Arr = _import "Posix_IO_writeWord8Arr" private : C_Fd.t * (Word8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 495 val writeWord8Vec = _import "Posix_IO_writeWord8Vec" private : C_Fd.t * (Word8.t) vector * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
 496 end
 497 structure ProcEnv =
 498 struct
 499 val ctermid = _import "Posix_ProcEnv_ctermid" private : unit -> C_String.t;
 500 val (environGet, environSet) = _symbol "Posix_ProcEnv_environ" private : (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit);
 501 val getegid = _import "Posix_ProcEnv_getegid" private : unit -> C_GId.t;
 502 val getenv = _import "Posix_ProcEnv_getenv" private : NullString8.t -> C_String.t;
 503 val geteuid = _import "Posix_ProcEnv_geteuid" private : unit -> C_UId.t;
 504 val getgid = _import "Posix_ProcEnv_getgid" private : unit -> C_GId.t;
 505 val getgroups = _import "Posix_ProcEnv_getgroups" private : C_Int.t * (C_GId.t) array -> (C_Int.t) C_Errno.t;
 506 val getgroupsN = _import "Posix_ProcEnv_getgroupsN" private : unit -> C_Int.t;
 507 val getlogin = _import "Posix_ProcEnv_getlogin" private : unit -> (C_String.t) C_Errno.t;
 508 val getpgrp = _import "Posix_ProcEnv_getpgrp" private : unit -> C_PId.t;
 509 val getpid = _import "Posix_ProcEnv_getpid" private : unit -> C_PId.t;
 510 val getppid = _import "Posix_ProcEnv_getppid" private : unit -> C_PId.t;
 511 val getuid = _import "Posix_ProcEnv_getuid" private : unit -> C_UId.t;
 512 val isatty = _import "Posix_ProcEnv_isatty" private : C_Fd.t -> C_Int.t;
 513 val SC_2_C_BIND = _const "Posix_ProcEnv_SC_2_C_BIND" : C_Int.t;
 514 val SC_2_C_DEV = _const "Posix_ProcEnv_SC_2_C_DEV" : C_Int.t;
 515 val SC_2_CHAR_TERM = _const "Posix_ProcEnv_SC_2_CHAR_TERM" : C_Int.t;
 516 val SC_2_FORT_DEV = _const "Posix_ProcEnv_SC_2_FORT_DEV" : C_Int.t;
 517 val SC_2_FORT_RUN = _const "Posix_ProcEnv_SC_2_FORT_RUN" : C_Int.t;
 518 val SC_2_LOCALEDEF = _const "Posix_ProcEnv_SC_2_LOCALEDEF" : C_Int.t;
 519 val SC_2_PBS = _const "Posix_ProcEnv_SC_2_PBS" : C_Int.t;
 520 val SC_2_PBS_ACCOUNTING = _const "Posix_ProcEnv_SC_2_PBS_ACCOUNTING" : C_Int.t;
 521 val SC_2_PBS_CHECKPOINT = _const "Posix_ProcEnv_SC_2_PBS_CHECKPOINT" : C_Int.t;
 522 val SC_2_PBS_LOCATE = _const "Posix_ProcEnv_SC_2_PBS_LOCATE" : C_Int.t;
 523 val SC_2_PBS_MESSAGE = _const "Posix_ProcEnv_SC_2_PBS_MESSAGE" : C_Int.t;
 524 val SC_2_PBS_TRACK = _const "Posix_ProcEnv_SC_2_PBS_TRACK" : C_Int.t;
 525 val SC_2_SW_DEV = _const "Posix_ProcEnv_SC_2_SW_DEV" : C_Int.t;
 526 val SC_2_UPE = _const "Posix_ProcEnv_SC_2_UPE" : C_Int.t;
 527 val SC_2_VERSION = _const "Posix_ProcEnv_SC_2_VERSION" : C_Int.t;
 528 val SC_ADVISORY_INFO = _const "Posix_ProcEnv_SC_ADVISORY_INFO" : C_Int.t;
 529 val SC_AIO_LISTIO_MAX = _const "Posix_ProcEnv_SC_AIO_LISTIO_MAX" : C_Int.t;
 530 val SC_AIO_MAX = _const "Posix_ProcEnv_SC_AIO_MAX" : C_Int.t;
 531 val SC_AIO_PRIO_DELTA_MAX = _const "Posix_ProcEnv_SC_AIO_PRIO_DELTA_MAX" : C_Int.t;
 532 val SC_ARG_MAX = _const "Posix_ProcEnv_SC_ARG_MAX" : C_Int.t;
 533 val SC_ASYNCHRONOUS_IO = _const "Posix_ProcEnv_SC_ASYNCHRONOUS_IO" : C_Int.t;
 534 val SC_ATEXIT_MAX = _const "Posix_ProcEnv_SC_ATEXIT_MAX" : C_Int.t;
 535 val SC_AVPHYS_PAGES = _const "Posix_ProcEnv_SC_AVPHYS_PAGES" : C_Int.t;
 536 val SC_BARRIERS = _const "Posix_ProcEnv_SC_BARRIERS" : C_Int.t;
 537 val SC_BC_BASE_MAX = _const "Posix_ProcEnv_SC_BC_BASE_MAX" : C_Int.t;
 538 val SC_BC_DIM_MAX = _const "Posix_ProcEnv_SC_BC_DIM_MAX" : C_Int.t;
 539 val SC_BC_SCALE_MAX = _const "Posix_ProcEnv_SC_BC_SCALE_MAX" : C_Int.t;
 540 val SC_BC_STRING_MAX = _const "Posix_ProcEnv_SC_BC_STRING_MAX" : C_Int.t;
 541 val SC_CHILD_MAX = _const "Posix_ProcEnv_SC_CHILD_MAX" : C_Int.t;
 542 val SC_CLK_TCK = _const "Posix_ProcEnv_SC_CLK_TCK" : C_Int.t;
 543 val SC_CLOCK_SELECTION = _const "Posix_ProcEnv_SC_CLOCK_SELECTION" : C_Int.t;
 544 val SC_COLL_WEIGHTS_MAX = _const "Posix_ProcEnv_SC_COLL_WEIGHTS_MAX" : C_Int.t;
 545 val SC_CPUTIME = _const "Posix_ProcEnv_SC_CPUTIME" : C_Int.t;
 546 val SC_DELAYTIMER_MAX = _const "Posix_ProcEnv_SC_DELAYTIMER_MAX" : C_Int.t;
 547 val SC_EXPR_NEST_MAX = _const "Posix_ProcEnv_SC_EXPR_NEST_MAX" : C_Int.t;
 548 val SC_FSYNC = _const "Posix_ProcEnv_SC_FSYNC" : C_Int.t;
 549 val SC_GETGR_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETGR_R_SIZE_MAX" : C_Int.t;
 550 val SC_GETPW_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETPW_R_SIZE_MAX" : C_Int.t;
 551 val SC_HOST_NAME_MAX = _const "Posix_ProcEnv_SC_HOST_NAME_MAX" : C_Int.t;
 552 val SC_IOV_MAX = _const "Posix_ProcEnv_SC_IOV_MAX" : C_Int.t;
 553 val SC_IPV6 = _const "Posix_ProcEnv_SC_IPV6" : C_Int.t;
 554 val SC_JOB_CONTROL = _const "Posix_ProcEnv_SC_JOB_CONTROL" : C_Int.t;
 555 val SC_LINE_MAX = _const "Posix_ProcEnv_SC_LINE_MAX" : C_Int.t;
 556 val SC_LOGIN_NAME_MAX = _const "Posix_ProcEnv_SC_LOGIN_NAME_MAX" : C_Int.t;
 557 val SC_MAPPED_FILES = _const "Posix_ProcEnv_SC_MAPPED_FILES" : C_Int.t;
 558 val SC_MEMLOCK = _const "Posix_ProcEnv_SC_MEMLOCK" : C_Int.t;
 559 val SC_MEMLOCK_RANGE = _const "Posix_ProcEnv_SC_MEMLOCK_RANGE" : C_Int.t;
 560 val SC_MEMORY_PROTECTION = _const "Posix_ProcEnv_SC_MEMORY_PROTECTION" : C_Int.t;
 561 val SC_MESSAGE_PASSING = _const "Posix_ProcEnv_SC_MESSAGE_PASSING" : C_Int.t;
 562 val SC_MONOTONIC_CLOCK = _const "Posix_ProcEnv_SC_MONOTONIC_CLOCK" : C_Int.t;
 563 val SC_MQ_OPEN_MAX = _const "Posix_ProcEnv_SC_MQ_OPEN_MAX" : C_Int.t;
 564 val SC_MQ_PRIO_MAX = _const "Posix_ProcEnv_SC_MQ_PRIO_MAX" : C_Int.t;
 565 val SC_NGROUPS_MAX = _const "Posix_ProcEnv_SC_NGROUPS_MAX" : C_Int.t;
 566 val SC_NPROCESSORS_CONF = _const "Posix_ProcEnv_SC_NPROCESSORS_CONF" : C_Int.t;
 567 val SC_NPROCESSORS_ONLN = _const "Posix_ProcEnv_SC_NPROCESSORS_ONLN" : C_Int.t;
 568 val SC_OPEN_MAX = _const "Posix_ProcEnv_SC_OPEN_MAX" : C_Int.t;
 569 val SC_PAGE_SIZE = _const "Posix_ProcEnv_SC_PAGE_SIZE" : C_Int.t;
 570 val SC_PAGESIZE = _const "Posix_ProcEnv_SC_PAGESIZE" : C_Int.t;
 571 val SC_PHYS_PAGES = _const "Posix_ProcEnv_SC_PHYS_PAGES" : C_Int.t;
 572 val SC_PRIORITIZED_IO = _const "Posix_ProcEnv_SC_PRIORITIZED_IO" : C_Int.t;
 573 val SC_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_PRIORITY_SCHEDULING" : C_Int.t;
 574 val SC_RAW_SOCKETS = _const "Posix_ProcEnv_SC_RAW_SOCKETS" : C_Int.t;
 575 val SC_RE_DUP_MAX = _const "Posix_ProcEnv_SC_RE_DUP_MAX" : C_Int.t;
 576 val SC_READER_WRITER_LOCKS = _const "Posix_ProcEnv_SC_READER_WRITER_LOCKS" : C_Int.t;
 577 val SC_REALTIME_SIGNALS = _const "Posix_ProcEnv_SC_REALTIME_SIGNALS" : C_Int.t;
 578 val SC_REGEXP = _const "Posix_ProcEnv_SC_REGEXP" : C_Int.t;
 579 val SC_RTSIG_MAX = _const "Posix_ProcEnv_SC_RTSIG_MAX" : C_Int.t;
 580 val SC_SAVED_IDS = _const "Posix_ProcEnv_SC_SAVED_IDS" : C_Int.t;
 581 val SC_SEM_NSEMS_MAX = _const "Posix_ProcEnv_SC_SEM_NSEMS_MAX" : C_Int.t;
 582 val SC_SEM_VALUE_MAX = _const "Posix_ProcEnv_SC_SEM_VALUE_MAX" : C_Int.t;
 583 val SC_SEMAPHORES = _const "Posix_ProcEnv_SC_SEMAPHORES" : C_Int.t;
 584 val SC_SHARED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_SHARED_MEMORY_OBJECTS" : C_Int.t;
 585 val SC_SHELL = _const "Posix_ProcEnv_SC_SHELL" : C_Int.t;
 586 val SC_SIGQUEUE_MAX = _const "Posix_ProcEnv_SC_SIGQUEUE_MAX" : C_Int.t;
 587 val SC_SPAWN = _const "Posix_ProcEnv_SC_SPAWN" : C_Int.t;
 588 val SC_SPIN_LOCKS = _const "Posix_ProcEnv_SC_SPIN_LOCKS" : C_Int.t;
 589 val SC_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_SPORADIC_SERVER" : C_Int.t;
 590 val SC_SS_REPL_MAX = _const "Posix_ProcEnv_SC_SS_REPL_MAX" : C_Int.t;
 591 val SC_STREAM_MAX = _const "Posix_ProcEnv_SC_STREAM_MAX" : C_Int.t;
 592 val SC_SYMLOOP_MAX = _const "Posix_ProcEnv_SC_SYMLOOP_MAX" : C_Int.t;
 593 val SC_SYNCHRONIZED_IO = _const "Posix_ProcEnv_SC_SYNCHRONIZED_IO" : C_Int.t;
 594 val SC_THREAD_ATTR_STACKADDR = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKADDR" : C_Int.t;
 595 val SC_THREAD_ATTR_STACKSIZE = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKSIZE" : C_Int.t;
 596 val SC_THREAD_CPUTIME = _const "Posix_ProcEnv_SC_THREAD_CPUTIME" : C_Int.t;
 597 val SC_THREAD_DESTRUCTOR_ITERATIONS = _const "Posix_ProcEnv_SC_THREAD_DESTRUCTOR_ITERATIONS" : C_Int.t;
 598 val SC_THREAD_KEYS_MAX = _const "Posix_ProcEnv_SC_THREAD_KEYS_MAX" : C_Int.t;
 599 val SC_THREAD_PRIO_INHERIT = _const "Posix_ProcEnv_SC_THREAD_PRIO_INHERIT" : C_Int.t;
 600 val SC_THREAD_PRIO_PROTECT = _const "Posix_ProcEnv_SC_THREAD_PRIO_PROTECT" : C_Int.t;
 601 val SC_THREAD_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_THREAD_PRIORITY_SCHEDULING" : C_Int.t;
 602 val SC_THREAD_PROCESS_SHARED = _const "Posix_ProcEnv_SC_THREAD_PROCESS_SHARED" : C_Int.t;
 603 val SC_THREAD_SAFE_FUNCTIONS = _const "Posix_ProcEnv_SC_THREAD_SAFE_FUNCTIONS" : C_Int.t;
 604 val SC_THREAD_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_THREAD_SPORADIC_SERVER" : C_Int.t;
 605 val SC_THREAD_STACK_MIN = _const "Posix_ProcEnv_SC_THREAD_STACK_MIN" : C_Int.t;
 606 val SC_THREAD_THREADS_MAX = _const "Posix_ProcEnv_SC_THREAD_THREADS_MAX" : C_Int.t;
 607 val SC_THREADS = _const "Posix_ProcEnv_SC_THREADS" : C_Int.t;
 608 val SC_TIMEOUTS = _const "Posix_ProcEnv_SC_TIMEOUTS" : C_Int.t;
 609 val SC_TIMER_MAX = _const "Posix_ProcEnv_SC_TIMER_MAX" : C_Int.t;
 610 val SC_TIMERS = _const "Posix_ProcEnv_SC_TIMERS" : C_Int.t;
 611 val SC_TRACE = _const "Posix_ProcEnv_SC_TRACE" : C_Int.t;
 612 val SC_TRACE_EVENT_FILTER = _const "Posix_ProcEnv_SC_TRACE_EVENT_FILTER" : C_Int.t;
 613 val SC_TRACE_EVENT_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_EVENT_NAME_MAX" : C_Int.t;
 614 val SC_TRACE_INHERIT = _const "Posix_ProcEnv_SC_TRACE_INHERIT" : C_Int.t;
 615 val SC_TRACE_LOG = _const "Posix_ProcEnv_SC_TRACE_LOG" : C_Int.t;
 616 val SC_TRACE_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_NAME_MAX" : C_Int.t;
 617 val SC_TRACE_SYS_MAX = _const "Posix_ProcEnv_SC_TRACE_SYS_MAX" : C_Int.t;
 618 val SC_TRACE_USER_EVENT_MAX = _const "Posix_ProcEnv_SC_TRACE_USER_EVENT_MAX" : C_Int.t;
 619 val SC_TTY_NAME_MAX = _const "Posix_ProcEnv_SC_TTY_NAME_MAX" : C_Int.t;
 620 val SC_TYPED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_TYPED_MEMORY_OBJECTS" : C_Int.t;
 621 val SC_TZNAME_MAX = _const "Posix_ProcEnv_SC_TZNAME_MAX" : C_Int.t;
 622 val SC_V6_ILP32_OFF32 = _const "Posix_ProcEnv_SC_V6_ILP32_OFF32" : C_Int.t;
 623 val SC_V6_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_V6_ILP32_OFFBIG" : C_Int.t;
 624 val SC_V6_LP64_OFF64 = _const "Posix_ProcEnv_SC_V6_LP64_OFF64" : C_Int.t;
 625 val SC_V6_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_V6_LPBIG_OFFBIG" : C_Int.t;
 626 val SC_VERSION = _const "Posix_ProcEnv_SC_VERSION" : C_Int.t;
 627 val SC_XBS5_ILP32_OFF32 = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFF32" : C_Int.t;
 628 val SC_XBS5_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFFBIG" : C_Int.t;
 629 val SC_XBS5_LP64_OFF64 = _const "Posix_ProcEnv_SC_XBS5_LP64_OFF64" : C_Int.t;
 630 val SC_XBS5_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_LPBIG_OFFBIG" : C_Int.t;
 631 val SC_XOPEN_CRYPT = _const "Posix_ProcEnv_SC_XOPEN_CRYPT" : C_Int.t;
 632 val SC_XOPEN_ENH_I18N = _const "Posix_ProcEnv_SC_XOPEN_ENH_I18N" : C_Int.t;
 633 val SC_XOPEN_LEGACY = _const "Posix_ProcEnv_SC_XOPEN_LEGACY" : C_Int.t;
 634 val SC_XOPEN_REALTIME = _const "Posix_ProcEnv_SC_XOPEN_REALTIME" : C_Int.t;
 635 val SC_XOPEN_REALTIME_THREADS = _const "Posix_ProcEnv_SC_XOPEN_REALTIME_THREADS" : C_Int.t;
 636 val SC_XOPEN_SHM = _const "Posix_ProcEnv_SC_XOPEN_SHM" : C_Int.t;
 637 val SC_XOPEN_STREAMS = _const "Posix_ProcEnv_SC_XOPEN_STREAMS" : C_Int.t;
 638 val SC_XOPEN_UNIX = _const "Posix_ProcEnv_SC_XOPEN_UNIX" : C_Int.t;
 639 val SC_XOPEN_VERSION = _const "Posix_ProcEnv_SC_XOPEN_VERSION" : C_Int.t;
 640 val setenv = _import "Posix_ProcEnv_setenv" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
 641 val setgid = _import "Posix_ProcEnv_setgid" private : C_GId.t -> (C_Int.t) C_Errno.t;
 642 val setgroups = _import "Posix_ProcEnv_setgroups" private : C_Int.t * (C_GId.t) vector -> (C_Int.t) C_Errno.t;
 643 val setpgid = _import "Posix_ProcEnv_setpgid" private : C_PId.t * C_PId.t -> (C_Int.t) C_Errno.t;
 644 val setsid = _import "Posix_ProcEnv_setsid" private : unit -> (C_PId.t) C_Errno.t;
 645 val setuid = _import "Posix_ProcEnv_setuid" private : C_UId.t -> (C_Int.t) C_Errno.t;
 646 val sysconf = _import "Posix_ProcEnv_sysconf" private : C_Int.t -> (C_Long.t) C_Errno.t;
 647 val times = _import "Posix_ProcEnv_times" private : unit -> (C_Clock.t) C_Errno.t;
 648 structure Times =
 649 struct
 650 val getCSTime = _import "Posix_ProcEnv_Times_getCSTime" private : unit -> C_Clock.t;
 651 val getCUTime = _import "Posix_ProcEnv_Times_getCUTime" private : unit -> C_Clock.t;
 652 val getSTime = _import "Posix_ProcEnv_Times_getSTime" private : unit -> C_Clock.t;
 653 val getUTime = _import "Posix_ProcEnv_Times_getUTime" private : unit -> C_Clock.t;
 654 end
 655 val ttyname = _import "Posix_ProcEnv_ttyname" private : C_Fd.t -> (C_String.t) C_Errno.t;
 656 val uname = _import "Posix_ProcEnv_uname" private : unit -> (C_Int.t) C_Errno.t;
 657 structure Uname =
 658 struct
 659 val getMachine = _import "Posix_ProcEnv_Uname_getMachine" private : unit -> C_String.t;
 660 val getNodeName = _import "Posix_ProcEnv_Uname_getNodeName" private : unit -> C_String.t;
 661 val getRelease = _import "Posix_ProcEnv_Uname_getRelease" private : unit -> C_String.t;
 662 val getSysName = _import "Posix_ProcEnv_Uname_getSysName" private : unit -> C_String.t;
 663 val getVersion = _import "Posix_ProcEnv_Uname_getVersion" private : unit -> C_String.t;
 664 end
 665 end
 666 structure Process =
 667 struct
 668 val alarm = _import "Posix_Process_alarm" private : C_UInt.t -> C_UInt.t;
 669 val exece = _import "Posix_Process_exece" private : NullString8.t * (NullString8.t) array * (NullString8.t) array -> (C_Int.t) C_Errno.t;
 670 val execp = _import "Posix_Process_execp" private : NullString8.t * (NullString8.t) array -> (C_Int.t) C_Errno.t;
 671 val exit = _import "Posix_Process_exit" private : C_Status.t -> unit;
 672 val exitStatus = _import "Posix_Process_exitStatus" private : C_Status.t -> C_Int.t;
 673 val fork = _import "Posix_Process_fork" private : unit -> (C_PId.t) C_Errno.t;
 674 val ifExited = _import "Posix_Process_ifExited" private : C_Status.t -> C_Int.t;
 675 val ifSignaled = _import "Posix_Process_ifSignaled" private : C_Status.t -> C_Int.t;
 676 val ifStopped = _import "Posix_Process_ifStopped" private : C_Status.t -> C_Int.t;
 677 val kill = _import "Posix_Process_kill" private : C_PId.t * C_Signal.t -> (C_Int.t) C_Errno.t;
 678 val nanosleep = _import "Posix_Process_nanosleep" private : (C_Time.t) ref * (C_Long.t) ref -> (C_Int.t) C_Errno.t;
 679 val pause = _import "Posix_Process_pause" private : unit -> (C_Int.t) C_Errno.t;
 680 val sleep = _import "Posix_Process_sleep" private : C_UInt.t -> C_UInt.t;
 681 val stopSig = _import "Posix_Process_stopSig" private : C_Status.t -> C_Signal.t;
 682 val system = _import "Posix_Process_system" private : NullString8.t -> (C_Status.t) C_Errno.t;
 683 val termSig = _import "Posix_Process_termSig" private : C_Status.t -> C_Signal.t;
 684 structure W =
 685 struct
 686 val NOHANG = _const "Posix_Process_W_NOHANG" : C_Int.t;
 687 val UNTRACED = _const "Posix_Process_W_UNTRACED" : C_Int.t;
 688 end
 689 val waitpid = _import "Posix_Process_waitpid" private : C_PId.t * (C_Status.t) ref * C_Int.t -> (C_PId.t) C_Errno.t;
 690 end
 691 structure Signal =
 692 struct
 693 val default = _import "Posix_Signal_default" private : C_Signal.t -> (C_Int.t) C_Errno.t;
 694 val handlee = _import "Posix_Signal_handlee" private : C_Signal.t -> (C_Int.t) C_Errno.t;
 695 val handleGC = _import "Posix_Signal_handleGC" private : unit -> unit;
 696 val ignore = _import "Posix_Signal_ignore" private : C_Signal.t -> (C_Int.t) C_Errno.t;
 697 val isDefault = _import "Posix_Signal_isDefault" private : C_Signal.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
 698 val isIgnore = _import "Posix_Signal_isIgnore" private : C_Signal.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
 699 val isPending = _import "Posix_Signal_isPending" private : C_Signal.t -> C_Int.t;
 700 val isPendingGC = _import "Posix_Signal_isPendingGC" private : unit -> C_Int.t;
 701 val NSIG = _const "Posix_Signal_NSIG" : C_Int.t;
 702 val resetPending = _import "Posix_Signal_resetPending" private : unit -> unit;
 703 val SIG_BLOCK = _const "Posix_Signal_SIG_BLOCK" : C_Int.t;
 704 val SIG_SETMASK = _const "Posix_Signal_SIG_SETMASK" : C_Int.t;
 705 val SIG_UNBLOCK = _const "Posix_Signal_SIG_UNBLOCK" : C_Int.t;
 706 val SIGABRT = _const "Posix_Signal_SIGABRT" : C_Signal.t;
 707 val sigaddset = _import "Posix_Signal_sigaddset" private : (Word8.t) array * C_Signal.t -> (C_Int.t) C_Errno.t;
 708 val SIGALRM = _const "Posix_Signal_SIGALRM" : C_Signal.t;
 709 val SIGBUS = _const "Posix_Signal_SIGBUS" : C_Signal.t;
 710 val SIGCHLD = _const "Posix_Signal_SIGCHLD" : C_Signal.t;
 711 val SIGCONT = _const "Posix_Signal_SIGCONT" : C_Signal.t;
 712 val sigdelset = _import "Posix_Signal_sigdelset" private : (Word8.t) array * C_Signal.t -> (C_Int.t) C_Errno.t;
 713 val sigemptyset = _import "Posix_Signal_sigemptyset" private : (Word8.t) array -> (C_Int.t) C_Errno.t;
 714 val sigfillset = _import "Posix_Signal_sigfillset" private : (Word8.t) array -> (C_Int.t) C_Errno.t;
 715 val SIGFPE = _const "Posix_Signal_SIGFPE" : C_Signal.t;
 716 val SIGHUP = _const "Posix_Signal_SIGHUP" : C_Signal.t;
 717 val SIGILL = _const "Posix_Signal_SIGILL" : C_Signal.t;
 718 val SIGINT = _const "Posix_Signal_SIGINT" : C_Signal.t;
 719 val sigismember = _import "Posix_Signal_sigismember" private : (Word8.t) vector * C_Signal.t -> (C_Int.t) C_Errno.t;
 720 val SIGKILL = _const "Posix_Signal_SIGKILL" : C_Signal.t;
 721 val SIGPIPE = _const "Posix_Signal_SIGPIPE" : C_Signal.t;
 722 val SIGPOLL = _const "Posix_Signal_SIGPOLL" : C_Signal.t;
 723 val sigprocmask = _import "Posix_Signal_sigprocmask" private : C_Int.t * (Word8.t) vector * (Word8.t) array -> (C_Int.t) C_Errno.t;
 724 val SIGPROF = _const "Posix_Signal_SIGPROF" : C_Signal.t;
 725 val SIGQUIT = _const "Posix_Signal_SIGQUIT" : C_Signal.t;
 726 val SIGSEGV = _const "Posix_Signal_SIGSEGV" : C_Signal.t;
 727 val sigSetLen = _const "Posix_Signal_sigSetLen" : C_Size.t;
 728 val SIGSTOP = _const "Posix_Signal_SIGSTOP" : C_Signal.t;
 729 val sigsuspend = _import "Posix_Signal_sigsuspend" private : (Word8.t) vector -> unit;
 730 val SIGSYS = _const "Posix_Signal_SIGSYS" : C_Signal.t;
 731 val SIGTERM = _const "Posix_Signal_SIGTERM" : C_Signal.t;
 732 val SIGTRAP = _const "Posix_Signal_SIGTRAP" : C_Signal.t;
 733 val SIGTSTP = _const "Posix_Signal_SIGTSTP" : C_Signal.t;
 734 val SIGTTIN = _const "Posix_Signal_SIGTTIN" : C_Signal.t;
 735 val SIGTTOU = _const "Posix_Signal_SIGTTOU" : C_Signal.t;
 736 val SIGURG = _const "Posix_Signal_SIGURG" : C_Signal.t;
 737 val SIGUSR1 = _const "Posix_Signal_SIGUSR1" : C_Signal.t;
 738 val SIGUSR2 = _const "Posix_Signal_SIGUSR2" : C_Signal.t;
 739 val SIGVTALRM = _const "Posix_Signal_SIGVTALRM" : C_Signal.t;
 740 val SIGXCPU = _const "Posix_Signal_SIGXCPU" : C_Signal.t;
 741 val SIGXFSZ = _const "Posix_Signal_SIGXFSZ" : C_Signal.t;
 742 end
 743 structure SysDB =
 744 struct
 745 val getgrgid = _import "Posix_SysDB_getgrgid" private : C_GId.t -> (C_Int.t) C_Errno.t;
 746 val getgrnam = _import "Posix_SysDB_getgrnam" private : NullString8.t -> (C_Int.t) C_Errno.t;
 747 val getpwnam = _import "Posix_SysDB_getpwnam" private : NullString8.t -> (C_Int.t) C_Errno.t;
 748 val getpwuid = _import "Posix_SysDB_getpwuid" private : C_GId.t -> (C_Int.t) C_Errno.t;
 749 structure Group =
 750 struct
 751 val getGId = _import "Posix_SysDB_Group_getGId" private : unit -> C_GId.t;
 752 val getMem = _import "Posix_SysDB_Group_getMem" private : unit -> C_StringArray.t;
 753 val getName = _import "Posix_SysDB_Group_getName" private : unit -> C_String.t;
 754 end
 755 structure Passwd =
 756 struct
 757 val getDir = _import "Posix_SysDB_Passwd_getDir" private : unit -> C_String.t;
 758 val getGId = _import "Posix_SysDB_Passwd_getGId" private : unit -> C_GId.t;
 759 val getName = _import "Posix_SysDB_Passwd_getName" private : unit -> C_String.t;
 760 val getShell = _import "Posix_SysDB_Passwd_getShell" private : unit -> C_String.t;
 761 val getUId = _import "Posix_SysDB_Passwd_getUId" private : unit -> C_UId.t;
 762 end
 763 end
 764 structure TTY =
 765 struct
 766 val B0 = _const "Posix_TTY_B0" : C_Speed.t;
 767 val B110 = _const "Posix_TTY_B110" : C_Speed.t;
 768 val B1200 = _const "Posix_TTY_B1200" : C_Speed.t;
 769 val B134 = _const "Posix_TTY_B134" : C_Speed.t;
 770 val B150 = _const "Posix_TTY_B150" : C_Speed.t;
 771 val B1800 = _const "Posix_TTY_B1800" : C_Speed.t;
 772 val B19200 = _const "Posix_TTY_B19200" : C_Speed.t;
 773 val B200 = _const "Posix_TTY_B200" : C_Speed.t;
 774 val B2400 = _const "Posix_TTY_B2400" : C_Speed.t;
 775 val B300 = _const "Posix_TTY_B300" : C_Speed.t;
 776 val B38400 = _const "Posix_TTY_B38400" : C_Speed.t;
 777 val B4800 = _const "Posix_TTY_B4800" : C_Speed.t;
 778 val B50 = _const "Posix_TTY_B50" : C_Speed.t;
 779 val B600 = _const "Posix_TTY_B600" : C_Speed.t;
 780 val B75 = _const "Posix_TTY_B75" : C_Speed.t;
 781 val B9600 = _const "Posix_TTY_B9600" : C_Speed.t;
 782 structure C =
 783 struct
 784 val CLOCAL = _const "Posix_TTY_C_CLOCAL" : C_TCFlag.t;
 785 val CREAD = _const "Posix_TTY_C_CREAD" : C_TCFlag.t;
 786 val CS5 = _const "Posix_TTY_C_CS5" : C_TCFlag.t;
 787 val CS6 = _const "Posix_TTY_C_CS6" : C_TCFlag.t;
 788 val CS7 = _const "Posix_TTY_C_CS7" : C_TCFlag.t;
 789 val CS8 = _const "Posix_TTY_C_CS8" : C_TCFlag.t;
 790 val CSIZE = _const "Posix_TTY_C_CSIZE" : C_TCFlag.t;
 791 val CSTOPB = _const "Posix_TTY_C_CSTOPB" : C_TCFlag.t;
 792 val HUPCL = _const "Posix_TTY_C_HUPCL" : C_TCFlag.t;
 793 val PARENB = _const "Posix_TTY_C_PARENB" : C_TCFlag.t;
 794 val PARODD = _const "Posix_TTY_C_PARODD" : C_TCFlag.t;
 795 end
 796 structure I =
 797 struct
 798 val BRKINT = _const "Posix_TTY_I_BRKINT" : C_TCFlag.t;
 799 val ICRNL = _const "Posix_TTY_I_ICRNL" : C_TCFlag.t;
 800 val IGNBRK = _const "Posix_TTY_I_IGNBRK" : C_TCFlag.t;
 801 val IGNCR = _const "Posix_TTY_I_IGNCR" : C_TCFlag.t;
 802 val IGNPAR = _const "Posix_TTY_I_IGNPAR" : C_TCFlag.t;
 803 val INLCR = _const "Posix_TTY_I_INLCR" : C_TCFlag.t;
 804 val INPCK = _const "Posix_TTY_I_INPCK" : C_TCFlag.t;
 805 val ISTRIP = _const "Posix_TTY_I_ISTRIP" : C_TCFlag.t;
 806 val IXANY = _const "Posix_TTY_I_IXANY" : C_TCFlag.t;
 807 val IXOFF = _const "Posix_TTY_I_IXOFF" : C_TCFlag.t;
 808 val IXON = _const "Posix_TTY_I_IXON" : C_TCFlag.t;
 809 val PARMRK = _const "Posix_TTY_I_PARMRK" : C_TCFlag.t;
 810 end
 811 structure L =
 812 struct
 813 val ECHO = _const "Posix_TTY_L_ECHO" : C_TCFlag.t;
 814 val ECHOE = _const "Posix_TTY_L_ECHOE" : C_TCFlag.t;
 815 val ECHOK = _const "Posix_TTY_L_ECHOK" : C_TCFlag.t;
 816 val ECHONL = _const "Posix_TTY_L_ECHONL" : C_TCFlag.t;
 817 val ICANON = _const "Posix_TTY_L_ICANON" : C_TCFlag.t;
 818 val IEXTEN = _const "Posix_TTY_L_IEXTEN" : C_TCFlag.t;
 819 val ISIG = _const "Posix_TTY_L_ISIG" : C_TCFlag.t;
 820 val NOFLSH = _const "Posix_TTY_L_NOFLSH" : C_TCFlag.t;
 821 val TOSTOP = _const "Posix_TTY_L_TOSTOP" : C_TCFlag.t;
 822 end
 823 structure O =
 824 struct
 825 val BS0 = _const "Posix_TTY_O_BS0" : C_TCFlag.t;
 826 val BS1 = _const "Posix_TTY_O_BS1" : C_TCFlag.t;
 827 val BSDLY = _const "Posix_TTY_O_BSDLY" : C_TCFlag.t;
 828 val CR0 = _const "Posix_TTY_O_CR0" : C_TCFlag.t;
 829 val CR1 = _const "Posix_TTY_O_CR1" : C_TCFlag.t;
 830 val CR2 = _const "Posix_TTY_O_CR2" : C_TCFlag.t;
 831 val CR3 = _const "Posix_TTY_O_CR3" : C_TCFlag.t;
 832 val CRDLY = _const "Posix_TTY_O_CRDLY" : C_TCFlag.t;
 833 val FF0 = _const "Posix_TTY_O_FF0" : C_TCFlag.t;
 834 val FF1 = _const "Posix_TTY_O_FF1" : C_TCFlag.t;
 835 val FFDLY = _const "Posix_TTY_O_FFDLY" : C_TCFlag.t;
 836 val NL0 = _const "Posix_TTY_O_NL0" : C_TCFlag.t;
 837 val NL1 = _const "Posix_TTY_O_NL1" : C_TCFlag.t;
 838 val NLDLY = _const "Posix_TTY_O_NLDLY" : C_TCFlag.t;
 839 val OCRNL = _const "Posix_TTY_O_OCRNL" : C_TCFlag.t;
 840 val OFILL = _const "Posix_TTY_O_OFILL" : C_TCFlag.t;
 841 val ONLCR = _const "Posix_TTY_O_ONLCR" : C_TCFlag.t;
 842 val ONLRET = _const "Posix_TTY_O_ONLRET" : C_TCFlag.t;
 843 val ONOCR = _const "Posix_TTY_O_ONOCR" : C_TCFlag.t;
 844 val OPOST = _const "Posix_TTY_O_OPOST" : C_TCFlag.t;
 845 val TAB0 = _const "Posix_TTY_O_TAB0" : C_TCFlag.t;
 846 val TAB1 = _const "Posix_TTY_O_TAB1" : C_TCFlag.t;
 847 val TAB2 = _const "Posix_TTY_O_TAB2" : C_TCFlag.t;
 848 val TAB3 = _const "Posix_TTY_O_TAB3" : C_TCFlag.t;
 849 val TABDLY = _const "Posix_TTY_O_TABDLY" : C_TCFlag.t;
 850 val VT0 = _const "Posix_TTY_O_VT0" : C_TCFlag.t;
 851 val VT1 = _const "Posix_TTY_O_VT1" : C_TCFlag.t;
 852 val VTDLY = _const "Posix_TTY_O_VTDLY" : C_TCFlag.t;
 853 end
 854 structure TC =
 855 struct
 856 val drain = _import "Posix_TTY_TC_drain" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 857 val flow = _import "Posix_TTY_TC_flow" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 858 val flush = _import "Posix_TTY_TC_flush" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 859 val getattr = _import "Posix_TTY_TC_getattr" private : C_Fd.t -> (C_Int.t) C_Errno.t;
 860 val getpgrp = _import "Posix_TTY_TC_getpgrp" private : C_Fd.t -> (C_PId.t) C_Errno.t;
 861 val sendbreak = _import "Posix_TTY_TC_sendbreak" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 862 val setattr = _import "Posix_TTY_TC_setattr" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
 863 val setpgrp = _import "Posix_TTY_TC_setpgrp" private : C_Fd.t * C_PId.t -> (C_Int.t) C_Errno.t;
 864 val TCIFLUSH = _const "Posix_TTY_TC_TCIFLUSH" : C_Int.t;
 865 val TCIOFF = _const "Posix_TTY_TC_TCIOFF" : C_Int.t;
 866 val TCIOFLUSH = _const "Posix_TTY_TC_TCIOFLUSH" : C_Int.t;
 867 val TCION = _const "Posix_TTY_TC_TCION" : C_Int.t;
 868 val TCOFLUSH = _const "Posix_TTY_TC_TCOFLUSH" : C_Int.t;
 869 val TCOOFF = _const "Posix_TTY_TC_TCOOFF" : C_Int.t;
 870 val TCOON = _const "Posix_TTY_TC_TCOON" : C_Int.t;
 871 val TCSADRAIN = _const "Posix_TTY_TC_TCSADRAIN" : C_Int.t;
 872 val TCSAFLUSH = _const "Posix_TTY_TC_TCSAFLUSH" : C_Int.t;
 873 val TCSANOW = _const "Posix_TTY_TC_TCSANOW" : C_Int.t;
 874 end
 875 structure Termios =
 876 struct
 877 val cfGetISpeed = _import "Posix_TTY_Termios_cfGetISpeed" private : unit -> C_Speed.t;
 878 val cfGetOSpeed = _import "Posix_TTY_Termios_cfGetOSpeed" private : unit -> C_Speed.t;
 879 val cfSetISpeed = _import "Posix_TTY_Termios_cfSetISpeed" private : C_Speed.t -> (C_Int.t) C_Errno.t;
 880 val cfSetOSpeed = _import "Posix_TTY_Termios_cfSetOSpeed" private : C_Speed.t -> (C_Int.t) C_Errno.t;
 881 val getCC = _import "Posix_TTY_Termios_getCC" private : (C_CC.t) array -> unit;
 882 val getCFlag = _import "Posix_TTY_Termios_getCFlag" private : unit -> C_TCFlag.t;
 883 val getIFlag = _import "Posix_TTY_Termios_getIFlag" private : unit -> C_TCFlag.t;
 884 val getLFlag = _import "Posix_TTY_Termios_getLFlag" private : unit -> C_TCFlag.t;
 885 val getOFlag = _import "Posix_TTY_Termios_getOFlag" private : unit -> C_TCFlag.t;
 886 val setCC = _import "Posix_TTY_Termios_setCC" private : (C_CC.t) array -> unit;
 887 val setCFlag = _import "Posix_TTY_Termios_setCFlag" private : C_TCFlag.t -> unit;
 888 val setIFlag = _import "Posix_TTY_Termios_setIFlag" private : C_TCFlag.t -> unit;
 889 val setLFlag = _import "Posix_TTY_Termios_setLFlag" private : C_TCFlag.t -> unit;
 890 val setOFlag = _import "Posix_TTY_Termios_setOFlag" private : C_TCFlag.t -> unit;
 891 end
 892 structure V =
 893 struct
 894 val NCCS = _const "Posix_TTY_V_NCCS" : C_Int.t;
 895 val VEOF = _const "Posix_TTY_V_VEOF" : C_Int.t;
 896 val VEOL = _const "Posix_TTY_V_VEOL" : C_Int.t;
 897 val VERASE = _const "Posix_TTY_V_VERASE" : C_Int.t;
 898 val VINTR = _const "Posix_TTY_V_VINTR" : C_Int.t;
 899 val VKILL = _const "Posix_TTY_V_VKILL" : C_Int.t;
 900 val VMIN = _const "Posix_TTY_V_VMIN" : C_Int.t;
 901 val VQUIT = _const "Posix_TTY_V_VQUIT" : C_Int.t;
 902 val VSTART = _const "Posix_TTY_V_VSTART" : C_Int.t;
 903 val VSTOP = _const "Posix_TTY_V_VSTOP" : C_Int.t;
 904 val VSUSP = _const "Posix_TTY_V_VSUSP" : C_Int.t;
 905 val VTIME = _const "Posix_TTY_V_VTIME" : C_Int.t;
 906 end
 907 end
 908 end
 909 structure Real32 =
 910 struct
 911 type t = Real32.t
 912 val abs = _import "Real32_abs" private : Real32.t -> Real32.t;
 913 val add = _import "Real32_add" private : Real32.t * Real32.t -> Real32.t;
 914 val castToWord32 = _import "Real32_castToWord32" private : Real32.t -> Word32.t;
 915 val div = _import "Real32_div" private : Real32.t * Real32.t -> Real32.t;
 916 val equal = _import "Real32_equal" private : Real32.t * Real32.t -> Bool.t;
 917 val fetch = _import "Real32_fetch" private : (Real32.t) ref -> Real32.t;
 918 val frexp = _import "Real32_frexp" private : Real32.t * (C_Int.t) ref -> Real32.t;
 919 val gdtoa = _import "Real32_gdtoa" private : Real32.t * C_Int.t * C_Int.t * C_Int.t * (C_Int.t) ref -> C_String.t;
 920 val ldexp = _import "Real32_ldexp" private : Real32.t * C_Int.t -> Real32.t;
 921 val le = _import "Real32_le" private : Real32.t * Real32.t -> Bool.t;
 922 val lt = _import "Real32_lt" private : Real32.t * Real32.t -> Bool.t;
 923 structure Math =
 924 struct
 925 val acos = _import "Real32_Math_acos" private : Real32.t -> Real32.t;
 926 val asin = _import "Real32_Math_asin" private : Real32.t -> Real32.t;
 927 val atan = _import "Real32_Math_atan" private : Real32.t -> Real32.t;
 928 val atan2 = _import "Real32_Math_atan2" private : Real32.t * Real32.t -> Real32.t;
 929 val cos = _import "Real32_Math_cos" private : Real32.t -> Real32.t;
 930 val cosh = _import "Real32_Math_cosh" private : Real32.t -> Real32.t;
 931 val (eGet, eSet) = _symbol "Real32_Math_e" private : (unit -> (Real32.t)) * ((Real32.t) -> unit);
 932 val exp = _import "Real32_Math_exp" private : Real32.t -> Real32.t;
 933 val ln = _import "Real32_Math_ln" private : Real32.t -> Real32.t;
 934 val log10 = _import "Real32_Math_log10" private : Real32.t -> Real32.t;
 935 val (piGet, piSet) = _symbol "Real32_Math_pi" private : (unit -> (Real32.t)) * ((Real32.t) -> unit);
 936 val pow = _import "Real32_Math_pow" private : Real32.t * Real32.t -> Real32.t;
 937 val sin = _import "Real32_Math_sin" private : Real32.t -> Real32.t;
 938 val sinh = _import "Real32_Math_sinh" private : Real32.t -> Real32.t;
 939 val sqrt = _import "Real32_Math_sqrt" private : Real32.t -> Real32.t;
 940 val tan = _import "Real32_Math_tan" private : Real32.t -> Real32.t;
 941 val tanh = _import "Real32_Math_tanh" private : Real32.t -> Real32.t;
 942 end
 943 val modf = _import "Real32_modf" private : Real32.t * (Real32.t) ref -> Real32.t;
 944 val move = _import "Real32_move" private : (Real32.t) ref * (Real32.t) ref -> unit;
 945 val mul = _import "Real32_mul" private : Real32.t * Real32.t -> Real32.t;
 946 val muladd = _import "Real32_muladd" private : Real32.t * Real32.t * Real32.t -> Real32.t;
 947 val mulsub = _import "Real32_mulsub" private : Real32.t * Real32.t * Real32.t -> Real32.t;
 948 val neg = _import "Real32_neg" private : Real32.t -> Real32.t;
 949 val realCeil = _import "Real32_realCeil" private : Real32.t -> Real32.t;
 950 val realFloor = _import "Real32_realFloor" private : Real32.t -> Real32.t;
 951 val realTrunc = _import "Real32_realTrunc" private : Real32.t -> Real32.t;
 952 val rndToReal32 = _import "Real32_rndToReal32" private : Real32.t -> Real32.t;
 953 val rndToReal64 = _import "Real32_rndToReal64" private : Real32.t -> Real64.t;
 954 val rndToWordS16 = _import "Real32_rndToWordS16" private : Real32.t -> Int16.t;
 955 val rndToWordS32 = _import "Real32_rndToWordS32" private : Real32.t -> Int32.t;
 956 val rndToWordS64 = _import "Real32_rndToWordS64" private : Real32.t -> Int64.t;
 957 val rndToWordS8 = _import "Real32_rndToWordS8" private : Real32.t -> Int8.t;
 958 val rndToWordU16 = _import "Real32_rndToWordU16" private : Real32.t -> Word16.t;
 959 val rndToWordU32 = _import "Real32_rndToWordU32" private : Real32.t -> Word32.t;
 960 val rndToWordU64 = _import "Real32_rndToWordU64" private : Real32.t -> Word64.t;
 961 val rndToWordU8 = _import "Real32_rndToWordU8" private : Real32.t -> Word8.t;
 962 val round = _import "Real32_round" private : Real32.t -> Real32.t;
 963 val store = _import "Real32_store" private : (Real32.t) ref * Real32.t -> unit;
 964 val strtor = _import "Real32_strtor" private : NullString8.t * C_Int.t -> Real32.t;
 965 val sub = _import "Real32_sub" private : Real32.t * Real32.t -> Real32.t;
 966 end
 967 structure Real64 =
 968 struct
 969 type t = Real64.t
 970 val abs = _import "Real64_abs" private : Real64.t -> Real64.t;
 971 val add = _import "Real64_add" private : Real64.t * Real64.t -> Real64.t;
 972 val castToWord64 = _import "Real64_castToWord64" private : Real64.t -> Word64.t;
 973 val div = _import "Real64_div" private : Real64.t * Real64.t -> Real64.t;
 974 val equal = _import "Real64_equal" private : Real64.t * Real64.t -> Bool.t;
 975 val fetch = _import "Real64_fetch" private : (Real64.t) ref -> Real64.t;
 976 val frexp = _import "Real64_frexp" private : Real64.t * (C_Int.t) ref -> Real64.t;
 977 val gdtoa = _import "Real64_gdtoa" private : Real64.t * C_Int.t * C_Int.t * C_Int.t * (C_Int.t) ref -> C_String.t;
 978 val ldexp = _import "Real64_ldexp" private : Real64.t * C_Int.t -> Real64.t;
 979 val le = _import "Real64_le" private : Real64.t * Real64.t -> Bool.t;
 980 val lt = _import "Real64_lt" private : Real64.t * Real64.t -> Bool.t;
 981 structure Math =
 982 struct
 983 val acos = _import "Real64_Math_acos" private : Real64.t -> Real64.t;
 984 val asin = _import "Real64_Math_asin" private : Real64.t -> Real64.t;
 985 val atan = _import "Real64_Math_atan" private : Real64.t -> Real64.t;
 986 val atan2 = _import "Real64_Math_atan2" private : Real64.t * Real64.t -> Real64.t;
 987 val cos = _import "Real64_Math_cos" private : Real64.t -> Real64.t;
 988 val cosh = _import "Real64_Math_cosh" private : Real64.t -> Real64.t;
 989 val (eGet, eSet) = _symbol "Real64_Math_e" private : (unit -> (Real64.t)) * ((Real64.t) -> unit);
 990 val exp = _import "Real64_Math_exp" private : Real64.t -> Real64.t;
 991 val ln = _import "Real64_Math_ln" private : Real64.t -> Real64.t;
 992 val log10 = _import "Real64_Math_log10" private : Real64.t -> Real64.t;
 993 val (piGet, piSet) = _symbol "Real64_Math_pi" private : (unit -> (Real64.t)) * ((Real64.t) -> unit);
 994 val pow = _import "Real64_Math_pow" private : Real64.t * Real64.t -> Real64.t;
 995 val sin = _import "Real64_Math_sin" private : Real64.t -> Real64.t;
 996 val sinh = _import "Real64_Math_sinh" private : Real64.t -> Real64.t;
 997 val sqrt = _import "Real64_Math_sqrt" private : Real64.t -> Real64.t;
 998 val tan = _import "Real64_Math_tan" private : Real64.t -> Real64.t;
 999 val tanh = _import "Real64_Math_tanh" private : Real64.t -> Real64.t;
1000 end
1001 val modf = _import "Real64_modf" private : Real64.t * (Real64.t) ref -> Real64.t;
1002 val move = _import "Real64_move" private : (Real64.t) ref * (Real64.t) ref -> unit;
1003 val mul = _import "Real64_mul" private : Real64.t * Real64.t -> Real64.t;
1004 val muladd = _import "Real64_muladd" private : Real64.t * Real64.t * Real64.t -> Real64.t;
1005 val mulsub = _import "Real64_mulsub" private : Real64.t * Real64.t * Real64.t -> Real64.t;
1006 val neg = _import "Real64_neg" private : Real64.t -> Real64.t;
1007 val realCeil = _import "Real64_realCeil" private : Real64.t -> Real64.t;
1008 val realFloor = _import "Real64_realFloor" private : Real64.t -> Real64.t;
1009 val realTrunc = _import "Real64_realTrunc" private : Real64.t -> Real64.t;
1010 val rndToReal32 = _import "Real64_rndToReal32" private : Real64.t -> Real32.t;
1011 val rndToReal64 = _import "Real64_rndToReal64" private : Real64.t -> Real64.t;
1012 val rndToWordS16 = _import "Real64_rndToWordS16" private : Real64.t -> Int16.t;
1013 val rndToWordS32 = _import "Real64_rndToWordS32" private : Real64.t -> Int32.t;
1014 val rndToWordS64 = _import "Real64_rndToWordS64" private : Real64.t -> Int64.t;
1015 val rndToWordS8 = _import "Real64_rndToWordS8" private : Real64.t -> Int8.t;
1016 val rndToWordU16 = _import "Real64_rndToWordU16" private : Real64.t -> Word16.t;
1017 val rndToWordU32 = _import "Real64_rndToWordU32" private : Real64.t -> Word32.t;
1018 val rndToWordU64 = _import "Real64_rndToWordU64" private : Real64.t -> Word64.t;
1019 val rndToWordU8 = _import "Real64_rndToWordU8" private : Real64.t -> Word8.t;
1020 val round = _import "Real64_round" private : Real64.t -> Real64.t;
1021 val store = _import "Real64_store" private : (Real64.t) ref * Real64.t -> unit;
1022 val strtor = _import "Real64_strtor" private : NullString8.t * C_Int.t -> Real64.t;
1023 val sub = _import "Real64_sub" private : Real64.t * Real64.t -> Real64.t;
1024 end
1025 structure Socket =
1026 struct
1027 val accept = _import "Socket_accept" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t;
1028 structure AF =
1029 struct
1030 val INET = _const "Socket_AF_INET" : C_Int.t;
1031 val INET6 = _const "Socket_AF_INET6" : C_Int.t;
1032 val UNIX = _const "Socket_AF_UNIX" : C_Int.t;
1033 val UNSPEC = _const "Socket_AF_UNSPEC" : C_Int.t;
1034 end
1035 val bind = _import "Socket_bind" private : C_Sock.t * (Word8.t) vector * C_Socklen.t -> (C_Int.t) C_Errno.t;
1036 val close = _import "Socket_close" private : C_Sock.t -> (C_Int.t) C_Errno.t;
1037 val connect = _import "Socket_connect" private : C_Sock.t * (Word8.t) vector * C_Socklen.t -> (C_Int.t) C_Errno.t;
1038 structure Ctl =
1039 struct
1040 val getATMARK = _import "Socket_Ctl_getATMARK" private : C_Sock.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
1041 val getNREAD = _import "Socket_Ctl_getNREAD" private : C_Sock.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
1042 val getPeerName = _import "Socket_Ctl_getPeerName" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t;
1043 val getSockName = _import "Socket_Ctl_getSockName" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t;
1044 val getSockOptC_Int = _import "Socket_Ctl_getSockOptC_Int" private : C_Sock.t * C_Int.t * C_Int.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
1045 val getSockOptC_Linger = _import "Socket_Ctl_getSockOptC_Linger" private : C_Sock.t * C_Int.t * C_Int.t * (C_Int.t) ref * (C_Int.t) ref -> (C_Int.t) C_Errno.t;
1046 val setSockOptC_Int = _import "Socket_Ctl_setSockOptC_Int" private : C_Sock.t * C_Int.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t;
1047 val setSockOptC_Linger = _import "Socket_Ctl_setSockOptC_Linger" private : C_Sock.t * C_Int.t * C_Int.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t;
1048 val SO_ACCEPTCONN = _const "Socket_Ctl_SO_ACCEPTCONN" : C_Int.t;
1049 val SO_BROADCAST = _const "Socket_Ctl_SO_BROADCAST" : C_Int.t;
1050 val SO_DEBUG = _const "Socket_Ctl_SO_DEBUG" : C_Int.t;
1051 val SO_DONTROUTE = _const "Socket_Ctl_SO_DONTROUTE" : C_Int.t;
1052 val SO_ERROR = _const "Socket_Ctl_SO_ERROR" : C_Int.t;
1053 val SO_KEEPALIVE = _const "Socket_Ctl_SO_KEEPALIVE" : C_Int.t;
1054 val SO_LINGER = _const "Socket_Ctl_SO_LINGER" : C_Int.t;
1055 val SO_OOBINLINE = _const "Socket_Ctl_SO_OOBINLINE" : C_Int.t;
1056 val SO_RCVBUF = _const "Socket_Ctl_SO_RCVBUF" : C_Int.t;
1057 val SO_RCVLOWAT = _const "Socket_Ctl_SO_RCVLOWAT" : C_Int.t;
1058 val SO_RCVTIMEO = _const "Socket_Ctl_SO_RCVTIMEO" : C_Int.t;
1059 val SO_REUSEADDR = _const "Socket_Ctl_SO_REUSEADDR" : C_Int.t;
1060 val SO_SNDBUF = _const "Socket_Ctl_SO_SNDBUF" : C_Int.t;
1061 val SO_SNDLOWAT = _const "Socket_Ctl_SO_SNDLOWAT" : C_Int.t;
1062 val SO_SNDTIMEO = _const "Socket_Ctl_SO_SNDTIMEO" : C_Int.t;
1063 val SO_TYPE = _const "Socket_Ctl_SO_TYPE" : C_Int.t;
1064 val SOL_SOCKET = _const "Socket_Ctl_SOL_SOCKET" : C_Int.t;
1065 end
1066 val familyOfAddr = _import "Socket_familyOfAddr" private : (Word8.t) vector -> C_Int.t;
1067 structure GenericSock =
1068 struct
1069 val socket = _import "Socket_GenericSock_socket" private : C_Int.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t;
1070 val socketPair = _import "Socket_GenericSock_socketPair" private : C_Int.t * C_Int.t * C_Int.t * (C_Int.t) array -> (C_Int.t) C_Errno.t;
1071 end
1072 val getTimeout_sec = _import "Socket_getTimeout_sec" private : unit -> C_Time.t;
1073 val getTimeout_usec = _import "Socket_getTimeout_usec" private : unit -> C_SUSeconds.t;
1074 structure INetSock =
1075 struct
1076 structure Ctl =
1077 struct
1078 val IPPROTO_TCP = _const "Socket_INetSock_Ctl_IPPROTO_TCP" : C_Int.t;
1079 val TCP_NODELAY = _const "Socket_INetSock_Ctl_TCP_NODELAY" : C_Int.t;
1080 end
1081 val fromAddr = _import "Socket_INetSock_fromAddr" private : (Word8.t) vector -> unit;
1082 val getInAddr = _import "Socket_INetSock_getInAddr" private : (Word8.t) array -> unit;
1083 val getPort = _import "Socket_INetSock_getPort" private : unit -> Word16.t;
1084 val toAddr = _import "Socket_INetSock_toAddr" private : (Word8.t) vector * Word16.t * (Word8.t) array * (C_Socklen.t) ref -> unit;
1085 end
1086 val listen = _import "Socket_listen" private : C_Sock.t * C_Int.t -> (C_Int.t) C_Errno.t;
1087 val MSG_CTRUNC = _const "Socket_MSG_CTRUNC" : C_Int.t;
1088 val MSG_DONTROUTE = _const "Socket_MSG_DONTROUTE" : C_Int.t;
1089 val MSG_DONTWAIT = _const "Socket_MSG_DONTWAIT" : C_Int.t;
1090 val MSG_EOR = _const "Socket_MSG_EOR" : C_Int.t;
1091 val MSG_OOB = _const "Socket_MSG_OOB" : C_Int.t;
1092 val MSG_PEEK = _const "Socket_MSG_PEEK" : C_Int.t;
1093 val MSG_TRUNC = _const "Socket_MSG_TRUNC" : C_Int.t;
1094 val MSG_WAITALL = _const "Socket_MSG_WAITALL" : C_Int.t;
1095 val recv = _import "Socket_recv" private : C_Sock.t * (Word8.t) array * C_Int.t * C_Size.t * C_Int.t -> (C_SSize.t) C_Errno.t;
1096 val recvFrom = _import "Socket_recvFrom" private : C_Sock.t * (Word8.t) array * C_Int.t * C_Size.t * C_Int.t * (Word8.t) array * (C_Socklen.t) ref -> (C_SSize.t) C_Errno.t;
1097 val select = _import "Socket_select" private : (C_Fd.t) vector * (C_Fd.t) vector * (C_Fd.t) vector * (C_Int.t) array * (C_Int.t) array * (C_Int.t) array -> (C_Int.t) C_Errno.t;
1098 val sendArr = _import "Socket_sendArr" private : C_Sock.t * (Word8.t) array * C_Int.t * C_Size.t * C_Int.t -> (C_SSize.t) C_Errno.t;
1099 val sendArrTo = _import "Socket_sendArrTo" private : C_Sock.t * (Word8.t) array * C_Int.t * C_Size.t * C_Int.t * (Word8.t) vector * C_Socklen.t -> (C_SSize.t) C_Errno.t;
1100 val sendVec = _import "Socket_sendVec" private : C_Sock.t * (Word8.t) vector * C_Int.t * C_Size.t * C_Int.t -> (C_SSize.t) C_Errno.t;
1101 val sendVecTo = _import "Socket_sendVecTo" private : C_Sock.t * (Word8.t) vector * C_Int.t * C_Size.t * C_Int.t * (Word8.t) vector * C_Socklen.t -> (C_SSize.t) C_Errno.t;
1102 val setTimeout = _import "Socket_setTimeout" private : C_Time.t * C_SUSeconds.t -> unit;
1103 val setTimeoutNull = _import "Socket_setTimeoutNull" private : unit -> unit;
1104 val SHUT_RD = _const "Socket_SHUT_RD" : C_Int.t;
1105 val SHUT_RDWR = _const "Socket_SHUT_RDWR" : C_Int.t;
1106 val SHUT_WR = _const "Socket_SHUT_WR" : C_Int.t;
1107 val shutdown = _import "Socket_shutdown" private : C_Sock.t * C_Int.t -> (C_Int.t) C_Errno.t;
1108 structure SOCK =
1109 struct
1110 val DGRAM = _const "Socket_SOCK_DGRAM" : C_Int.t;
1111 val RAW = _const "Socket_SOCK_RAW" : C_Int.t;
1112 val SEQPACKET = _const "Socket_SOCK_SEQPACKET" : C_Int.t;
1113 val STREAM = _const "Socket_SOCK_STREAM" : C_Int.t;
1114 end
1115 val sockAddrStorageLen = _const "Socket_sockAddrStorageLen" : C_Size.t;
1116 structure UnixSock =
1117 struct
1118 val fromAddr = _import "Socket_UnixSock_fromAddr" private : (Word8.t) vector * (Char8.t) array * C_Size.t -> unit;
1119 val pathLen = _import "Socket_UnixSock_pathLen" private : (Word8.t) vector -> C_Size.t;
1120 val toAddr = _import "Socket_UnixSock_toAddr" private : NullString8.t * C_Size.t * (Word8.t) array * (C_Socklen.t) ref -> unit;
1121 end
1122 end
1123 structure Stdio =
1124 struct
1125 val print = _import "Stdio_print" private : String8.t -> unit;
1126 val printStderr = _import "Stdio_printStderr" private : String8.t -> unit;
1127 val printStdout = _import "Stdio_printStdout" private : String8.t -> unit;
1128 end
1129 structure Time =
1130 struct
1131 val getTimeOfDay = _import "Time_getTimeOfDay" private : (C_Time.t) ref * (C_SUSeconds.t) ref -> C_Int.t;
1132 end
1133 structure Windows =
1134 struct
1135 structure Process =
1136 struct
1137 val create = _import "Windows_Process_create" private : NullString8.t * NullString8.t * NullString8.t * C_Fd.t * C_Fd.t * C_Fd.t -> (C_PId.t) C_Errno.t;
1138 val createNull = _import "Windows_Process_createNull" private : NullString8.t * NullString8.t * C_Fd.t * C_Fd.t * C_Fd.t -> (C_PId.t) C_Errno.t;
1139 val getexitcode = _import "Windows_Process_getexitcode" private : C_PId.t * (C_Status.t) ref -> (C_Int.t) C_Errno.t;
1140 val terminate = _import "Windows_Process_terminate" private : C_PId.t * C_Signal.t -> (C_Int.t) C_Errno.t;
1141 end
1142 end
1143 structure Word16 =
1144 struct
1145 type t = Word16.t
1146 val add = _import "Word16_add" private : Word16.t * Word16.t -> Word16.t;
1147 val andb = _import "Word16_andb" private : Word16.t * Word16.t -> Word16.t;
1148 val equal = _import "Word16_equal" private : Word16.t * Word16.t -> Bool.t;
1149 val lshift = _import "Word16_lshift" private : Word16.t * Word32.t -> Word16.t;
1150 val neg = _import "Word16_neg" private : Word16.t -> Word16.t;
1151 val notb = _import "Word16_notb" private : Word16.t -> Word16.t;
1152 val orb = _import "Word16_orb" private : Word16.t * Word16.t -> Word16.t;
1153 val rol = _import "Word16_rol" private : Word16.t * Word32.t -> Word16.t;
1154 val ror = _import "Word16_ror" private : Word16.t * Word32.t -> Word16.t;
1155 val sub = _import "Word16_sub" private : Word16.t * Word16.t -> Word16.t;
1156 val xorb = _import "Word16_xorb" private : Word16.t * Word16.t -> Word16.t;
1157 end
1158 structure Word32 =
1159 struct
1160 type t = Word32.t
1161 val add = _import "Word32_add" private : Word32.t * Word32.t -> Word32.t;
1162 val andb = _import "Word32_andb" private : Word32.t * Word32.t -> Word32.t;
1163 val castToReal32 = _import "Word32_castToReal32" private : Word32.t -> Real32.t;
1164 val equal = _import "Word32_equal" private : Word32.t * Word32.t -> Bool.t;
1165 val lshift = _import "Word32_lshift" private : Word32.t * Word32.t -> Word32.t;
1166 val neg = _import "Word32_neg" private : Word32.t -> Word32.t;
1167 val notb = _import "Word32_notb" private : Word32.t -> Word32.t;
1168 val orb = _import "Word32_orb" private : Word32.t * Word32.t -> Word32.t;
1169 val rol = _import "Word32_rol" private : Word32.t * Word32.t -> Word32.t;
1170 val ror = _import "Word32_ror" private : Word32.t * Word32.t -> Word32.t;
1171 val sub = _import "Word32_sub" private : Word32.t * Word32.t -> Word32.t;
1172 val xorb = _import "Word32_xorb" private : Word32.t * Word32.t -> Word32.t;
1173 end
1174 structure Word64 =
1175 struct
1176 type t = Word64.t
1177 val add = _import "Word64_add" private : Word64.t * Word64.t -> Word64.t;
1178 val andb = _import "Word64_andb" private : Word64.t * Word64.t -> Word64.t;
1179 val castToReal64 = _import "Word64_castToReal64" private : Word64.t -> Real64.t;
1180 val equal = _import "Word64_equal" private : Word64.t * Word64.t -> Bool.t;
1181 val fetch = _import "Word64_fetch" private : (Word64.t) ref -> Word64.t;
1182 val lshift = _import "Word64_lshift" private : Word64.t * Word32.t -> Word64.t;
1183 val move = _import "Word64_move" private : (Word64.t) ref * (Word64.t) ref -> unit;
1184 val neg = _import "Word64_neg" private : Word64.t -> Word64.t;
1185 val notb = _import "Word64_notb" private : Word64.t -> Word64.t;
1186 val orb = _import "Word64_orb" private : Word64.t * Word64.t -> Word64.t;
1187 val rol = _import "Word64_rol" private : Word64.t * Word32.t -> Word64.t;
1188 val ror = _import "Word64_ror" private : Word64.t * Word32.t -> Word64.t;
1189 val store = _import "Word64_store" private : (Word64.t) ref * Word64.t -> unit;
1190 val sub = _import "Word64_sub" private : Word64.t * Word64.t -> Word64.t;
1191 val xorb = _import "Word64_xorb" private : Word64.t * Word64.t -> Word64.t;
1192 end
1193 structure Word8 =
1194 struct
1195 type t = Word8.t
1196 val add = _import "Word8_add" private : Word8.t * Word8.t -> Word8.t;
1197 val andb = _import "Word8_andb" private : Word8.t * Word8.t -> Word8.t;
1198 val equal = _import "Word8_equal" private : Word8.t * Word8.t -> Bool.t;
1199 val lshift = _import "Word8_lshift" private : Word8.t * Word32.t -> Word8.t;
1200 val neg = _import "Word8_neg" private : Word8.t -> Word8.t;
1201 val notb = _import "Word8_notb" private : Word8.t -> Word8.t;
1202 val orb = _import "Word8_orb" private : Word8.t * Word8.t -> Word8.t;
1203 val rol = _import "Word8_rol" private : Word8.t * Word32.t -> Word8.t;
1204 val ror = _import "Word8_ror" private : Word8.t * Word32.t -> Word8.t;
1205 val sub = _import "Word8_sub" private : Word8.t * Word8.t -> Word8.t;
1206 val xorb = _import "Word8_xorb" private : Word8.t * Word8.t -> Word8.t;
1207 end
1208 structure WordS16 =
1209 struct
1210 val addCheckOverflows = _import "WordS16_addCheckOverflows" private : Int16.t * Int16.t -> Bool.t;
1211 val extdToWord16 = _import "WordS16_extdToWord16" private : Int16.t -> Word16.t;
1212 val extdToWord32 = _import "WordS16_extdToWord32" private : Int16.t -> Word32.t;
1213 val extdToWord64 = _import "WordS16_extdToWord64" private : Int16.t -> Word64.t;
1214 val extdToWord8 = _import "WordS16_extdToWord8" private : Int16.t -> Word8.t;
1215 val ge = _import "WordS16_ge" private : Int16.t * Int16.t -> Bool.t;
1216 val gt = _import "WordS16_gt" private : Int16.t * Int16.t -> Bool.t;
1217 val le = _import "WordS16_le" private : Int16.t * Int16.t -> Bool.t;
1218 val lt = _import "WordS16_lt" private : Int16.t * Int16.t -> Bool.t;
1219 val mul = _import "WordS16_mul" private : Int16.t * Int16.t -> Int16.t;
1220 val mulCheckOverflows = _import "WordS16_mulCheckOverflows" private : Int16.t * Int16.t -> Bool.t;
1221 val negCheckOverflows = _import "WordS16_negCheckOverflows" private : Int16.t -> Bool.t;
1222 val quot = _import "WordS16_quot" private : Int16.t * Int16.t -> Int16.t;
1223 val rem = _import "WordS16_rem" private : Int16.t * Int16.t -> Int16.t;
1224 val rndToReal32 = _import "WordS16_rndToReal32" private : Int16.t -> Real32.t;
1225 val rndToReal64 = _import "WordS16_rndToReal64" private : Int16.t -> Real64.t;
1226 val rshift = _import "WordS16_rshift" private : Int16.t * Word32.t -> Int16.t;
1227 val subCheckOverflows = _import "WordS16_subCheckOverflows" private : Int16.t * Int16.t -> Bool.t;
1228 end
1229 structure WordS32 =
1230 struct
1231 val addCheckOverflows = _import "WordS32_addCheckOverflows" private : Int32.t * Int32.t -> Bool.t;
1232 val extdToWord16 = _import "WordS32_extdToWord16" private : Int32.t -> Word16.t;
1233 val extdToWord32 = _import "WordS32_extdToWord32" private : Int32.t -> Word32.t;
1234 val extdToWord64 = _import "WordS32_extdToWord64" private : Int32.t -> Word64.t;
1235 val extdToWord8 = _import "WordS32_extdToWord8" private : Int32.t -> Word8.t;
1236 val ge = _import "WordS32_ge" private : Int32.t * Int32.t -> Bool.t;
1237 val gt = _import "WordS32_gt" private : Int32.t * Int32.t -> Bool.t;
1238 val le = _import "WordS32_le" private : Int32.t * Int32.t -> Bool.t;
1239 val lt = _import "WordS32_lt" private : Int32.t * Int32.t -> Bool.t;
1240 val mul = _import "WordS32_mul" private : Int32.t * Int32.t -> Int32.t;
1241 val mulCheckOverflows = _import "WordS32_mulCheckOverflows" private : Int32.t * Int32.t -> Bool.t;
1242 val negCheckOverflows = _import "WordS32_negCheckOverflows" private : Int32.t -> Bool.t;
1243 val quot = _import "WordS32_quot" private : Int32.t * Int32.t -> Int32.t;
1244 val rem = _import "WordS32_rem" private : Int32.t * Int32.t -> Int32.t;
1245 val rndToReal32 = _import "WordS32_rndToReal32" private : Int32.t -> Real32.t;
1246 val rndToReal64 = _import "WordS32_rndToReal64" private : Int32.t -> Real64.t;
1247 val rshift = _import "WordS32_rshift" private : Int32.t * Word32.t -> Int32.t;
1248 val subCheckOverflows = _import "WordS32_subCheckOverflows" private : Int32.t * Int32.t -> Bool.t;
1249 end
1250 structure WordS64 =
1251 struct
1252 val addCheckOverflows = _import "WordS64_addCheckOverflows" private : Int64.t * Int64.t -> Bool.t;
1253 val extdToWord16 = _import "WordS64_extdToWord16" private : Int64.t -> Word16.t;
1254 val extdToWord32 = _import "WordS64_extdToWord32" private : Int64.t -> Word32.t;
1255 val extdToWord64 = _import "WordS64_extdToWord64" private : Int64.t -> Word64.t;
1256 val extdToWord8 = _import "WordS64_extdToWord8" private : Int64.t -> Word8.t;
1257 val ge = _import "WordS64_ge" private : Int64.t * Int64.t -> Bool.t;
1258 val gt = _import "WordS64_gt" private : Int64.t * Int64.t -> Bool.t;
1259 val le = _import "WordS64_le" private : Int64.t * Int64.t -> Bool.t;
1260 val lt = _import "WordS64_lt" private : Int64.t * Int64.t -> Bool.t;
1261 val mul = _import "WordS64_mul" private : Int64.t * Int64.t -> Int64.t;
1262 val mulCheckOverflows = _import "WordS64_mulCheckOverflows" private : Int64.t * Int64.t -> Bool.t;
1263 val negCheckOverflows = _import "WordS64_negCheckOverflows" private : Int64.t -> Bool.t;
1264 val quot = _import "WordS64_quot" private : Int64.t * Int64.t -> Int64.t;
1265 val rem = _import "WordS64_rem" private : Int64.t * Int64.t -> Int64.t;
1266 val rndToReal32 = _import "WordS64_rndToReal32" private : Int64.t -> Real32.t;
1267 val rndToReal64 = _import "WordS64_rndToReal64" private : Int64.t -> Real64.t;
1268 val rshift = _import "WordS64_rshift" private : Int64.t * Word32.t -> Int64.t;
1269 val subCheckOverflows = _import "WordS64_subCheckOverflows" private : Int64.t * Int64.t -> Bool.t;
1270 end
1271 structure WordS8 =
1272 struct
1273 val addCheckOverflows = _import "WordS8_addCheckOverflows" private : Int8.t * Int8.t -> Bool.t;
1274 val extdToWord16 = _import "WordS8_extdToWord16" private : Int8.t -> Word16.t;
1275 val extdToWord32 = _import "WordS8_extdToWord32" private : Int8.t -> Word32.t;
1276 val extdToWord64 = _import "WordS8_extdToWord64" private : Int8.t -> Word64.t;
1277 val extdToWord8 = _import "WordS8_extdToWord8" private : Int8.t -> Word8.t;
1278 val ge = _import "WordS8_ge" private : Int8.t * Int8.t -> Bool.t;
1279 val gt = _import "WordS8_gt" private : Int8.t * Int8.t -> Bool.t;
1280 val le = _import "WordS8_le" private : Int8.t * Int8.t -> Bool.t;
1281 val lt = _import "WordS8_lt" private : Int8.t * Int8.t -> Bool.t;
1282 val mul = _import "WordS8_mul" private : Int8.t * Int8.t -> Int8.t;
1283 val mulCheckOverflows = _import "WordS8_mulCheckOverflows" private : Int8.t * Int8.t -> Bool.t;
1284 val negCheckOverflows = _import "WordS8_negCheckOverflows" private : Int8.t -> Bool.t;
1285 val quot = _import "WordS8_quot" private : Int8.t * Int8.t -> Int8.t;
1286 val rem = _import "WordS8_rem" private : Int8.t * Int8.t -> Int8.t;
1287 val rndToReal32 = _import "WordS8_rndToReal32" private : Int8.t -> Real32.t;
1288 val rndToReal64 = _import "WordS8_rndToReal64" private : Int8.t -> Real64.t;
1289 val rshift = _import "WordS8_rshift" private : Int8.t * Word32.t -> Int8.t;
1290 val subCheckOverflows = _import "WordS8_subCheckOverflows" private : Int8.t * Int8.t -> Bool.t;
1291 end
1292 structure WordU16 =
1293 struct
1294 val addCheckOverflows = _import "WordU16_addCheckOverflows" private : Word16.t * Word16.t -> Bool.t;
1295 val extdToWord16 = _import "WordU16_extdToWord16" private : Word16.t -> Word16.t;
1296 val extdToWord32 = _import "WordU16_extdToWord32" private : Word16.t -> Word32.t;
1297 val extdToWord64 = _import "WordU16_extdToWord64" private : Word16.t -> Word64.t;
1298 val extdToWord8 = _import "WordU16_extdToWord8" private : Word16.t -> Word8.t;
1299 val ge = _import "WordU16_ge" private : Word16.t * Word16.t -> Bool.t;
1300 val gt = _import "WordU16_gt" private : Word16.t * Word16.t -> Bool.t;
1301 val le = _import "WordU16_le" private : Word16.t * Word16.t -> Bool.t;
1302 val lt = _import "WordU16_lt" private : Word16.t * Word16.t -> Bool.t;
1303 val mul = _import "WordU16_mul" private : Word16.t * Word16.t -> Word16.t;
1304 val mulCheckOverflows = _import "WordU16_mulCheckOverflows" private : Word16.t * Word16.t -> Bool.t;
1305 val quot = _import "WordU16_quot" private : Word16.t * Word16.t -> Word16.t;
1306 val rem = _import "WordU16_rem" private : Word16.t * Word16.t -> Word16.t;
1307 val rndToReal32 = _import "WordU16_rndToReal32" private : Word16.t -> Real32.t;
1308 val rndToReal64 = _import "WordU16_rndToReal64" private : Word16.t -> Real64.t;
1309 val rshift = _import "WordU16_rshift" private : Word16.t * Word32.t -> Word16.t;
1310 end
1311 structure WordU32 =
1312 struct
1313 val addCheckOverflows = _import "WordU32_addCheckOverflows" private : Word32.t * Word32.t -> Bool.t;
1314 val extdToWord16 = _import "WordU32_extdToWord16" private : Word32.t -> Word16.t;
1315 val extdToWord32 = _import "WordU32_extdToWord32" private : Word32.t -> Word32.t;
1316 val extdToWord64 = _import "WordU32_extdToWord64" private : Word32.t -> Word64.t;
1317 val extdToWord8 = _import "WordU32_extdToWord8" private : Word32.t -> Word8.t;
1318 val ge = _import "WordU32_ge" private : Word32.t * Word32.t -> Bool.t;
1319 val gt = _import "WordU32_gt" private : Word32.t * Word32.t -> Bool.t;
1320 val le = _import "WordU32_le" private : Word32.t * Word32.t -> Bool.t;
1321 val lt = _import "WordU32_lt" private : Word32.t * Word32.t -> Bool.t;
1322 val mul = _import "WordU32_mul" private : Word32.t * Word32.t -> Word32.t;
1323 val mulCheckOverflows = _import "WordU32_mulCheckOverflows" private : Word32.t * Word32.t -> Bool.t;
1324 val quot = _import "WordU32_quot" private : Word32.t * Word32.t -> Word32.t;
1325 val rem = _import "WordU32_rem" private : Word32.t * Word32.t -> Word32.t;
1326 val rndToReal32 = _import "WordU32_rndToReal32" private : Word32.t -> Real32.t;
1327 val rndToReal64 = _import "WordU32_rndToReal64" private : Word32.t -> Real64.t;
1328 val rshift = _import "WordU32_rshift" private : Word32.t * Word32.t -> Word32.t;
1329 end
1330 structure WordU64 =
1331 struct
1332 val addCheckOverflows = _import "WordU64_addCheckOverflows" private : Word64.t * Word64.t -> Bool.t;
1333 val extdToWord16 = _import "WordU64_extdToWord16" private : Word64.t -> Word16.t;
1334 val extdToWord32 = _import "WordU64_extdToWord32" private : Word64.t -> Word32.t;
1335 val extdToWord64 = _import "WordU64_extdToWord64" private : Word64.t -> Word64.t;
1336 val extdToWord8 = _import "WordU64_extdToWord8" private : Word64.t -> Word8.t;
1337 val ge = _import "WordU64_ge" private : Word64.t * Word64.t -> Bool.t;
1338 val gt = _import "WordU64_gt" private : Word64.t * Word64.t -> Bool.t;
1339 val le = _import "WordU64_le" private : Word64.t * Word64.t -> Bool.t;
1340 val lt = _import "WordU64_lt" private : Word64.t * Word64.t -> Bool.t;
1341 val mul = _import "WordU64_mul" private : Word64.t * Word64.t -> Word64.t;
1342 val mulCheckOverflows = _import "WordU64_mulCheckOverflows" private : Word64.t * Word64.t -> Bool.t;
1343 val quot = _import "WordU64_quot" private : Word64.t * Word64.t -> Word64.t;
1344 val rem = _import "WordU64_rem" private : Word64.t * Word64.t -> Word64.t;
1345 val rndToReal32 = _import "WordU64_rndToReal32" private : Word64.t -> Real32.t;
1346 val rndToReal64 = _import "WordU64_rndToReal64" private : Word64.t -> Real64.t;
1347 val rshift = _import "WordU64_rshift" private : Word64.t * Word32.t -> Word64.t;
1348 end
1349 structure WordU8 =
1350 struct
1351 val addCheckOverflows = _import "WordU8_addCheckOverflows" private : Word8.t * Word8.t -> Bool.t;
1352 val extdToWord16 = _import "WordU8_extdToWord16" private : Word8.t -> Word16.t;
1353 val extdToWord32 = _import "WordU8_extdToWord32" private : Word8.t -> Word32.t;
1354 val extdToWord64 = _import "WordU8_extdToWord64" private : Word8.t -> Word64.t;
1355 val extdToWord8 = _import "WordU8_extdToWord8" private : Word8.t -> Word8.t;
1356 val ge = _import "WordU8_ge" private : Word8.t * Word8.t -> Bool.t;
1357 val gt = _import "WordU8_gt" private : Word8.t * Word8.t -> Bool.t;
1358 val le = _import "WordU8_le" private : Word8.t * Word8.t -> Bool.t;
1359 val lt = _import "WordU8_lt" private : Word8.t * Word8.t -> Bool.t;
1360 val mul = _import "WordU8_mul" private : Word8.t * Word8.t -> Word8.t;
1361 val mulCheckOverflows = _import "WordU8_mulCheckOverflows" private : Word8.t * Word8.t -> Bool.t;
1362 val quot = _import "WordU8_quot" private : Word8.t * Word8.t -> Word8.t;
1363 val rem = _import "WordU8_rem" private : Word8.t * Word8.t -> Word8.t;
1364 val rndToReal32 = _import "WordU8_rndToReal32" private : Word8.t -> Real32.t;
1365 val rndToReal64 = _import "WordU8_rndToReal64" private : Word8.t -> Real64.t;
1366 val rshift = _import "WordU8_rshift" private : Word8.t * Word32.t -> Word8.t;
1367 end
1368 end
1369 end