(* This file is automatically generated. Do not edit. *) local open Primitive in structure PrimitiveFFI = struct structure CommandLine = struct val (argcGet, argcSet) = _symbol "CommandLine_argc" private : (unit -> (C_Int.t)) * ((C_Int.t) -> unit); val (argvGet, argvSet) = _symbol "CommandLine_argv" private : (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit); val (commandNameGet, commandNameSet) = _symbol "CommandLine_commandName" private : (unit -> (C_String.t)) * ((C_String.t) -> unit); end structure Cygwin = struct val toFullWindowsPath = _import "Cygwin_toFullWindowsPath" private : NullString8.t -> C_String.t; end structure Date = struct val gmTime = _import "Date_gmTime" private : (C_Time.t) ref -> (C_Int.t) C_Errno.t; val localOffset = _import "Date_localOffset" private : unit -> C_Double.t; val localTime = _import "Date_localTime" private : (C_Time.t) ref -> (C_Int.t) C_Errno.t; val mkTime = _import "Date_mkTime" private : unit -> (C_Time.t) C_Errno.t; val strfTime = _import "Date_strfTime" private : (Char8.t) array * C_Size.t * NullString8.t -> C_Size.t; structure Tm = struct val getHour = _import "Date_Tm_getHour" private : unit -> C_Int.t; val getIsDst = _import "Date_Tm_getIsDst" private : unit -> C_Int.t; val getMDay = _import "Date_Tm_getMDay" private : unit -> C_Int.t; val getMin = _import "Date_Tm_getMin" private : unit -> C_Int.t; val getMon = _import "Date_Tm_getMon" private : unit -> C_Int.t; val getSec = _import "Date_Tm_getSec" private : unit -> C_Int.t; val getWDay = _import "Date_Tm_getWDay" private : unit -> C_Int.t; val getYDay = _import "Date_Tm_getYDay" private : unit -> C_Int.t; val getYear = _import "Date_Tm_getYear" private : unit -> C_Int.t; val setHour = _import "Date_Tm_setHour" private : C_Int.t -> unit; val setIsDst = _import "Date_Tm_setIsDst" private : C_Int.t -> unit; val setMDay = _import "Date_Tm_setMDay" private : C_Int.t -> unit; val setMin = _import "Date_Tm_setMin" private : C_Int.t -> unit; val setMon = _import "Date_Tm_setMon" private : C_Int.t -> unit; val setSec = _import "Date_Tm_setSec" private : C_Int.t -> unit; val setWDay = _import "Date_Tm_setWDay" private : C_Int.t -> unit; val setYDay = _import "Date_Tm_setYDay" private : C_Int.t -> unit; val setYear = _import "Date_Tm_setYear" private : C_Int.t -> unit; end end structure IEEEReal = struct val getRoundingMode = _import "IEEEReal_getRoundingMode" private : unit -> C_Int.t; structure RoundingMode = struct val FE_DOWNWARD = _const "IEEEReal_RoundingMode_FE_DOWNWARD" : C_Int.t; val FE_NOSUPPORT = _const "IEEEReal_RoundingMode_FE_NOSUPPORT" : C_Int.t; val FE_TONEAREST = _const "IEEEReal_RoundingMode_FE_TONEAREST" : C_Int.t; val FE_TOWARDZERO = _const "IEEEReal_RoundingMode_FE_TOWARDZERO" : C_Int.t; val FE_UPWARD = _const "IEEEReal_RoundingMode_FE_UPWARD" : C_Int.t; end val setRoundingMode = _import "IEEEReal_setRoundingMode" private : C_Int.t -> C_Int.t; end structure MinGW = struct val clearNonBlock = _import "MinGW_clearNonBlock" private : C_Fd.t -> unit; val getTempPath = _import "MinGW_getTempPath" private : C_Size.t * (Char8.t) array -> C_Size.t; val setNonBlock = _import "MinGW_setNonBlock" private : C_Fd.t -> unit; end structure MLton = struct val bug = _import "MLton_bug" private : String8.t -> unit; structure Itimer = struct val PROF = _const "MLton_Itimer_PROF" : C_Int.t; val REAL = _const "MLton_Itimer_REAL" : C_Int.t; 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; val VIRTUAL = _const "MLton_Itimer_VIRTUAL" : C_Int.t; end structure Process = struct val spawne = _import "MLton_Process_spawne" private : NullString8.t * (NullString8.t) array * (NullString8.t) array -> (C_PId.t) C_Errno.t; val spawnp = _import "MLton_Process_spawnp" private : NullString8.t * (NullString8.t) array -> (C_PId.t) C_Errno.t; end structure Rlimit = struct val AS = _const "MLton_Rlimit_AS" : C_Int.t; val CORE = _const "MLton_Rlimit_CORE" : C_Int.t; val CPU = _const "MLton_Rlimit_CPU" : C_Int.t; val DATA = _const "MLton_Rlimit_DATA" : C_Int.t; val FSIZE = _const "MLton_Rlimit_FSIZE" : C_Int.t; val get = _import "MLton_Rlimit_get" private : C_Int.t -> (C_Int.t) C_Errno.t; val getHard = _import "MLton_Rlimit_getHard" private : unit -> C_RLim.t; val getSoft = _import "MLton_Rlimit_getSoft" private : unit -> C_RLim.t; val INFINITY = _const "MLton_Rlimit_INFINITY" : C_RLim.t; val MEMLOCK = _const "MLton_Rlimit_MEMLOCK" : C_Int.t; val NOFILE = _const "MLton_Rlimit_NOFILE" : C_Int.t; val NPROC = _const "MLton_Rlimit_NPROC" : C_Int.t; val RSS = _const "MLton_Rlimit_RSS" : C_Int.t; val set = _import "MLton_Rlimit_set" private : C_Int.t * C_RLim.t * C_RLim.t -> (C_Int.t) C_Errno.t; val STACK = _const "MLton_Rlimit_STACK" : C_Int.t; end structure Rusage = struct val children_stime_sec = _import "MLton_Rusage_children_stime_sec" private : unit -> C_Time.t; val children_stime_usec = _import "MLton_Rusage_children_stime_usec" private : unit -> C_SUSeconds.t; val children_utime_sec = _import "MLton_Rusage_children_utime_sec" private : unit -> C_Time.t; val children_utime_usec = _import "MLton_Rusage_children_utime_usec" private : unit -> C_SUSeconds.t; val gc_stime_sec = _import "MLton_Rusage_gc_stime_sec" private : unit -> C_Time.t; val gc_stime_usec = _import "MLton_Rusage_gc_stime_usec" private : unit -> C_SUSeconds.t; val gc_utime_sec = _import "MLton_Rusage_gc_utime_sec" private : unit -> C_Time.t; val gc_utime_usec = _import "MLton_Rusage_gc_utime_usec" private : unit -> C_SUSeconds.t; val getrusage = _import "MLton_Rusage_getrusage" private : unit -> unit; val self_stime_sec = _import "MLton_Rusage_self_stime_sec" private : unit -> C_Time.t; val self_stime_usec = _import "MLton_Rusage_self_stime_usec" private : unit -> C_SUSeconds.t; val self_utime_sec = _import "MLton_Rusage_self_utime_sec" private : unit -> C_Time.t; val self_utime_usec = _import "MLton_Rusage_self_utime_usec" private : unit -> C_SUSeconds.t; end structure Syslog = struct val closelog = _import "MLton_Syslog_closelog" private : unit -> unit; structure Facility = struct val LOG_AUTH = _const "MLton_Syslog_Facility_LOG_AUTH" : C_Int.t; val LOG_CRON = _const "MLton_Syslog_Facility_LOG_CRON" : C_Int.t; val LOG_DAEMON = _const "MLton_Syslog_Facility_LOG_DAEMON" : C_Int.t; val LOG_KERN = _const "MLton_Syslog_Facility_LOG_KERN" : C_Int.t; val LOG_LOCAL0 = _const "MLton_Syslog_Facility_LOG_LOCAL0" : C_Int.t; val LOG_LOCAL1 = _const "MLton_Syslog_Facility_LOG_LOCAL1" : C_Int.t; val LOG_LOCAL2 = _const "MLton_Syslog_Facility_LOG_LOCAL2" : C_Int.t; val LOG_LOCAL3 = _const "MLton_Syslog_Facility_LOG_LOCAL3" : C_Int.t; val LOG_LOCAL4 = _const "MLton_Syslog_Facility_LOG_LOCAL4" : C_Int.t; val LOG_LOCAL5 = _const "MLton_Syslog_Facility_LOG_LOCAL5" : C_Int.t; val LOG_LOCAL6 = _const "MLton_Syslog_Facility_LOG_LOCAL6" : C_Int.t; val LOG_LOCAL7 = _const "MLton_Syslog_Facility_LOG_LOCAL7" : C_Int.t; val LOG_LPR = _const "MLton_Syslog_Facility_LOG_LPR" : C_Int.t; val LOG_MAIL = _const "MLton_Syslog_Facility_LOG_MAIL" : C_Int.t; val LOG_NEWS = _const "MLton_Syslog_Facility_LOG_NEWS" : C_Int.t; val LOG_SYSLOG = _const "MLton_Syslog_Facility_LOG_SYSLOG" : C_Int.t; val LOG_USER = _const "MLton_Syslog_Facility_LOG_USER" : C_Int.t; val LOG_UUCP = _const "MLton_Syslog_Facility_LOG_UUCP" : C_Int.t; end structure Logopt = struct val LOG_CONS = _const "MLton_Syslog_Logopt_LOG_CONS" : C_Int.t; val LOG_NDELAY = _const "MLton_Syslog_Logopt_LOG_NDELAY" : C_Int.t; val LOG_NOWAIT = _const "MLton_Syslog_Logopt_LOG_NOWAIT" : C_Int.t; val LOG_ODELAY = _const "MLton_Syslog_Logopt_LOG_ODELAY" : C_Int.t; val LOG_PERROR = _const "MLton_Syslog_Logopt_LOG_PERROR" : C_Int.t; val LOG_PID = _const "MLton_Syslog_Logopt_LOG_PID" : C_Int.t; end val openlog = _import "MLton_Syslog_openlog" private : NullString8.t * C_Int.t * C_Int.t -> unit; structure Severity = struct val LOG_ALERT = _const "MLton_Syslog_Severity_LOG_ALERT" : C_Int.t; val LOG_CRIT = _const "MLton_Syslog_Severity_LOG_CRIT" : C_Int.t; val LOG_DEBUG = _const "MLton_Syslog_Severity_LOG_DEBUG" : C_Int.t; val LOG_EMERG = _const "MLton_Syslog_Severity_LOG_EMERG" : C_Int.t; val LOG_ERR = _const "MLton_Syslog_Severity_LOG_ERR" : C_Int.t; val LOG_INFO = _const "MLton_Syslog_Severity_LOG_INFO" : C_Int.t; val LOG_NOTICE = _const "MLton_Syslog_Severity_LOG_NOTICE" : C_Int.t; val LOG_WARNING = _const "MLton_Syslog_Severity_LOG_WARNING" : C_Int.t; end val syslog = _import "MLton_Syslog_syslog" private : C_Int.t * NullString8.t -> unit; end end structure Net = struct val htonl = _import "Net_htonl" private : Word32.t -> Word32.t; val htons = _import "Net_htons" private : Word16.t -> Word16.t; val ntohl = _import "Net_ntohl" private : Word32.t -> Word32.t; val ntohs = _import "Net_ntohs" private : Word16.t -> Word16.t; end structure NetHostDB = struct val getByAddress = _import "NetHostDB_getByAddress" private : (Word8.t) vector * C_Socklen.t -> C_Int.t; val getByName = _import "NetHostDB_getByName" private : NullString8.t -> C_Int.t; val getEntryAddrsN = _import "NetHostDB_getEntryAddrsN" private : C_Int.t * (Word8.t) array -> unit; val getEntryAddrsNum = _import "NetHostDB_getEntryAddrsNum" private : unit -> C_Int.t; val getEntryAddrType = _import "NetHostDB_getEntryAddrType" private : unit -> C_Int.t; val getEntryAliasesN = _import "NetHostDB_getEntryAliasesN" private : C_Int.t -> C_String.t; val getEntryAliasesNum = _import "NetHostDB_getEntryAliasesNum" private : unit -> C_Int.t; val getEntryLength = _import "NetHostDB_getEntryLength" private : unit -> C_Int.t; val getEntryName = _import "NetHostDB_getEntryName" private : unit -> C_String.t; val getHostName = _import "NetHostDB_getHostName" private : (Char8.t) array * C_Size.t -> (C_Int.t) C_Errno.t; val INADDR_ANY = _const "NetHostDB_INADDR_ANY" : C_Int.t; val inAddrSize = _const "NetHostDB_inAddrSize" : C_Size.t; end structure NetProtDB = struct val getByName = _import "NetProtDB_getByName" private : NullString8.t -> C_Int.t; val getByNumber = _import "NetProtDB_getByNumber" private : C_Int.t -> C_Int.t; val getEntryAliasesN = _import "NetProtDB_getEntryAliasesN" private : C_Int.t -> C_String.t; val getEntryAliasesNum = _import "NetProtDB_getEntryAliasesNum" private : unit -> C_Int.t; val getEntryName = _import "NetProtDB_getEntryName" private : unit -> C_String.t; val getEntryProto = _import "NetProtDB_getEntryProto" private : unit -> C_Int.t; end structure NetServDB = struct val getByName = _import "NetServDB_getByName" private : NullString8.t * NullString8.t -> C_Int.t; val getByNameNull = _import "NetServDB_getByNameNull" private : NullString8.t -> C_Int.t; val getByPort = _import "NetServDB_getByPort" private : C_Int.t * NullString8.t -> C_Int.t; val getByPortNull = _import "NetServDB_getByPortNull" private : C_Int.t -> C_Int.t; val getEntryAliasesN = _import "NetServDB_getEntryAliasesN" private : C_Int.t -> C_String.t; val getEntryAliasesNum = _import "NetServDB_getEntryAliasesNum" private : unit -> C_Int.t; val getEntryName = _import "NetServDB_getEntryName" private : unit -> C_String.t; val getEntryPort = _import "NetServDB_getEntryPort" private : unit -> C_Int.t; val getEntryProto = _import "NetServDB_getEntryProto" private : unit -> C_String.t; end structure OS = struct structure IO = struct 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; val POLLIN = _const "OS_IO_POLLIN" : C_Short.t; val POLLOUT = _const "OS_IO_POLLOUT" : C_Short.t; val POLLPRI = _const "OS_IO_POLLPRI" : C_Short.t; end end structure Posix = struct structure Error = struct val clearErrno = _import "Posix_Error_clearErrno" private : unit -> unit; val E2BIG = _const "Posix_Error_E2BIG" : C_Int.t; val EACCES = _const "Posix_Error_EACCES" : C_Int.t; val EADDRINUSE = _const "Posix_Error_EADDRINUSE" : C_Int.t; val EADDRNOTAVAIL = _const "Posix_Error_EADDRNOTAVAIL" : C_Int.t; val EAFNOSUPPORT = _const "Posix_Error_EAFNOSUPPORT" : C_Int.t; val EAGAIN = _const "Posix_Error_EAGAIN" : C_Int.t; val EALREADY = _const "Posix_Error_EALREADY" : C_Int.t; val EBADF = _const "Posix_Error_EBADF" : C_Int.t; val EBADMSG = _const "Posix_Error_EBADMSG" : C_Int.t; val EBUSY = _const "Posix_Error_EBUSY" : C_Int.t; val ECANCELED = _const "Posix_Error_ECANCELED" : C_Int.t; val ECHILD = _const "Posix_Error_ECHILD" : C_Int.t; val ECONNABORTED = _const "Posix_Error_ECONNABORTED" : C_Int.t; val ECONNREFUSED = _const "Posix_Error_ECONNREFUSED" : C_Int.t; val ECONNRESET = _const "Posix_Error_ECONNRESET" : C_Int.t; val EDEADLK = _const "Posix_Error_EDEADLK" : C_Int.t; val EDESTADDRREQ = _const "Posix_Error_EDESTADDRREQ" : C_Int.t; val EDOM = _const "Posix_Error_EDOM" : C_Int.t; val EDQUOT = _const "Posix_Error_EDQUOT" : C_Int.t; val EEXIST = _const "Posix_Error_EEXIST" : C_Int.t; val EFAULT = _const "Posix_Error_EFAULT" : C_Int.t; val EFBIG = _const "Posix_Error_EFBIG" : C_Int.t; val EHOSTUNREACH = _const "Posix_Error_EHOSTUNREACH" : C_Int.t; val EIDRM = _const "Posix_Error_EIDRM" : C_Int.t; val EILSEQ = _const "Posix_Error_EILSEQ" : C_Int.t; val EINPROGRESS = _const "Posix_Error_EINPROGRESS" : C_Int.t; val EINTR = _const "Posix_Error_EINTR" : C_Int.t; val EINVAL = _const "Posix_Error_EINVAL" : C_Int.t; val EIO = _const "Posix_Error_EIO" : C_Int.t; val EISCONN = _const "Posix_Error_EISCONN" : C_Int.t; val EISDIR = _const "Posix_Error_EISDIR" : C_Int.t; val ELOOP = _const "Posix_Error_ELOOP" : C_Int.t; val EMFILE = _const "Posix_Error_EMFILE" : C_Int.t; val EMLINK = _const "Posix_Error_EMLINK" : C_Int.t; val EMSGSIZE = _const "Posix_Error_EMSGSIZE" : C_Int.t; val EMULTIHOP = _const "Posix_Error_EMULTIHOP" : C_Int.t; val ENAMETOOLONG = _const "Posix_Error_ENAMETOOLONG" : C_Int.t; val ENETDOWN = _const "Posix_Error_ENETDOWN" : C_Int.t; val ENETRESET = _const "Posix_Error_ENETRESET" : C_Int.t; val ENETUNREACH = _const "Posix_Error_ENETUNREACH" : C_Int.t; val ENFILE = _const "Posix_Error_ENFILE" : C_Int.t; val ENOBUFS = _const "Posix_Error_ENOBUFS" : C_Int.t; val ENODATA = _const "Posix_Error_ENODATA" : C_Int.t; val ENODEV = _const "Posix_Error_ENODEV" : C_Int.t; val ENOENT = _const "Posix_Error_ENOENT" : C_Int.t; val ENOEXEC = _const "Posix_Error_ENOEXEC" : C_Int.t; val ENOLCK = _const "Posix_Error_ENOLCK" : C_Int.t; val ENOLINK = _const "Posix_Error_ENOLINK" : C_Int.t; val ENOMEM = _const "Posix_Error_ENOMEM" : C_Int.t; val ENOMSG = _const "Posix_Error_ENOMSG" : C_Int.t; val ENOPROTOOPT = _const "Posix_Error_ENOPROTOOPT" : C_Int.t; val ENOSPC = _const "Posix_Error_ENOSPC" : C_Int.t; val ENOSR = _const "Posix_Error_ENOSR" : C_Int.t; val ENOSTR = _const "Posix_Error_ENOSTR" : C_Int.t; val ENOSYS = _const "Posix_Error_ENOSYS" : C_Int.t; val ENOTCONN = _const "Posix_Error_ENOTCONN" : C_Int.t; val ENOTDIR = _const "Posix_Error_ENOTDIR" : C_Int.t; val ENOTEMPTY = _const "Posix_Error_ENOTEMPTY" : C_Int.t; val ENOTSOCK = _const "Posix_Error_ENOTSOCK" : C_Int.t; val ENOTSUP = _const "Posix_Error_ENOTSUP" : C_Int.t; val ENOTTY = _const "Posix_Error_ENOTTY" : C_Int.t; val ENXIO = _const "Posix_Error_ENXIO" : C_Int.t; val EOPNOTSUPP = _const "Posix_Error_EOPNOTSUPP" : C_Int.t; val EOVERFLOW = _const "Posix_Error_EOVERFLOW" : C_Int.t; val EPERM = _const "Posix_Error_EPERM" : C_Int.t; val EPIPE = _const "Posix_Error_EPIPE" : C_Int.t; val EPROTO = _const "Posix_Error_EPROTO" : C_Int.t; val EPROTONOSUPPORT = _const "Posix_Error_EPROTONOSUPPORT" : C_Int.t; val EPROTOTYPE = _const "Posix_Error_EPROTOTYPE" : C_Int.t; val ERANGE = _const "Posix_Error_ERANGE" : C_Int.t; val EROFS = _const "Posix_Error_EROFS" : C_Int.t; val ESPIPE = _const "Posix_Error_ESPIPE" : C_Int.t; val ESRCH = _const "Posix_Error_ESRCH" : C_Int.t; val ESTALE = _const "Posix_Error_ESTALE" : C_Int.t; val ETIME = _const "Posix_Error_ETIME" : C_Int.t; val ETIMEDOUT = _const "Posix_Error_ETIMEDOUT" : C_Int.t; val ETXTBSY = _const "Posix_Error_ETXTBSY" : C_Int.t; val EWOULDBLOCK = _const "Posix_Error_EWOULDBLOCK" : C_Int.t; val EXDEV = _const "Posix_Error_EXDEV" : C_Int.t; val getErrno = _import "Posix_Error_getErrno" private : unit -> C_Int.t; val strError = _import "Posix_Error_strError" private : C_Int.t -> C_String.t; end structure FileSys = struct structure A = struct val F_OK = _const "Posix_FileSys_A_F_OK" : C_Int.t; val R_OK = _const "Posix_FileSys_A_R_OK" : C_Int.t; val W_OK = _const "Posix_FileSys_A_W_OK" : C_Int.t; val X_OK = _const "Posix_FileSys_A_X_OK" : C_Int.t; end val access = _import "Posix_FileSys_access" private : NullString8.t * C_Int.t -> (C_Int.t) C_Errno.t; val chdir = _import "Posix_FileSys_chdir" private : NullString8.t -> (C_Int.t) C_Errno.t; val chmod = _import "Posix_FileSys_chmod" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t; val chown = _import "Posix_FileSys_chown" private : NullString8.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t; structure Dirstream = struct val closeDir = _import "Posix_FileSys_Dirstream_closeDir" private : C_DirP.t -> (C_Int.t) C_Errno.t; val openDir = _import "Posix_FileSys_Dirstream_openDir" private : NullString8.t -> (C_DirP.t) C_Errno.t; val readDir = _import "Posix_FileSys_Dirstream_readDir" private : C_DirP.t -> (C_String.t) C_Errno.t; val rewindDir = _import "Posix_FileSys_Dirstream_rewindDir" private : C_DirP.t -> unit; end val fchdir = _import "Posix_FileSys_fchdir" private : C_Fd.t -> (C_Int.t) C_Errno.t; val fchmod = _import "Posix_FileSys_fchmod" private : C_Fd.t * C_Mode.t -> (C_Int.t) C_Errno.t; val fchown = _import "Posix_FileSys_fchown" private : C_Fd.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t; val fpathconf = _import "Posix_FileSys_fpathconf" private : C_Fd.t * C_Int.t -> (C_Long.t) C_Errno.t; val ftruncate = _import "Posix_FileSys_ftruncate" private : C_Fd.t * C_Off.t -> (C_Int.t) C_Errno.t; val getcwd = _import "Posix_FileSys_getcwd" private : (Char8.t) array * C_Size.t -> (C_String.t) C_Errno.t; val link = _import "Posix_FileSys_link" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t; val mkdir = _import "Posix_FileSys_mkdir" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t; val mkfifo = _import "Posix_FileSys_mkfifo" private : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t; structure O = struct val APPEND = _const "Posix_FileSys_O_APPEND" : C_Int.t; val BINARY = _const "Posix_FileSys_O_BINARY" : C_Int.t; val CREAT = _const "Posix_FileSys_O_CREAT" : C_Int.t; val DSYNC = _const "Posix_FileSys_O_DSYNC" : C_Int.t; val EXCL = _const "Posix_FileSys_O_EXCL" : C_Int.t; val NOCTTY = _const "Posix_FileSys_O_NOCTTY" : C_Int.t; val NONBLOCK = _const "Posix_FileSys_O_NONBLOCK" : C_Int.t; val RDONLY = _const "Posix_FileSys_O_RDONLY" : C_Int.t; val RDWR = _const "Posix_FileSys_O_RDWR" : C_Int.t; val RSYNC = _const "Posix_FileSys_O_RSYNC" : C_Int.t; val SYNC = _const "Posix_FileSys_O_SYNC" : C_Int.t; val TEXT = _const "Posix_FileSys_O_TEXT" : C_Int.t; val TRUNC = _const "Posix_FileSys_O_TRUNC" : C_Int.t; val WRONLY = _const "Posix_FileSys_O_WRONLY" : C_Int.t; end val open2 = _import "Posix_FileSys_open2" private : NullString8.t * C_Int.t -> (C_Fd.t) C_Errno.t; val open3 = _import "Posix_FileSys_open3" private : NullString8.t * C_Int.t * C_Mode.t -> (C_Fd.t) C_Errno.t; val pathconf = _import "Posix_FileSys_pathconf" private : NullString8.t * C_Int.t -> (C_Long.t) C_Errno.t; structure PC = struct val ALLOC_SIZE_MIN = _const "Posix_FileSys_PC_ALLOC_SIZE_MIN" : C_Int.t; val ASYNC_IO = _const "Posix_FileSys_PC_ASYNC_IO" : C_Int.t; val CHOWN_RESTRICTED = _const "Posix_FileSys_PC_CHOWN_RESTRICTED" : C_Int.t; val FILESIZEBITS = _const "Posix_FileSys_PC_FILESIZEBITS" : C_Int.t; val LINK_MAX = _const "Posix_FileSys_PC_LINK_MAX" : C_Int.t; val MAX_CANON = _const "Posix_FileSys_PC_MAX_CANON" : C_Int.t; val MAX_INPUT = _const "Posix_FileSys_PC_MAX_INPUT" : C_Int.t; val NAME_MAX = _const "Posix_FileSys_PC_NAME_MAX" : C_Int.t; val NO_TRUNC = _const "Posix_FileSys_PC_NO_TRUNC" : C_Int.t; val PATH_MAX = _const "Posix_FileSys_PC_PATH_MAX" : C_Int.t; val PIPE_BUF = _const "Posix_FileSys_PC_PIPE_BUF" : C_Int.t; val PRIO_IO = _const "Posix_FileSys_PC_PRIO_IO" : C_Int.t; val REC_INCR_XFER_SIZE = _const "Posix_FileSys_PC_REC_INCR_XFER_SIZE" : C_Int.t; val REC_MAX_XFER_SIZE = _const "Posix_FileSys_PC_REC_MAX_XFER_SIZE" : C_Int.t; val REC_MIN_XFER_SIZE = _const "Posix_FileSys_PC_REC_MIN_XFER_SIZE" : C_Int.t; val REC_XFER_ALIGN = _const "Posix_FileSys_PC_REC_XFER_ALIGN" : C_Int.t; val SYMLINK_MAX = _const "Posix_FileSys_PC_SYMLINK_MAX" : C_Int.t; val SYNC_IO = _const "Posix_FileSys_PC_SYNC_IO" : C_Int.t; val TWO_SYMLINKS = _const "Posix_FileSys_PC_TWO_SYMLINKS" : C_Int.t; val VDISABLE = _const "Posix_FileSys_PC_VDISABLE" : C_Int.t; end val readlink = _import "Posix_FileSys_readlink" private : NullString8.t * (Char8.t) array * C_Size.t -> (C_SSize.t) C_Errno.t; val rename = _import "Posix_FileSys_rename" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t; val rmdir = _import "Posix_FileSys_rmdir" private : NullString8.t -> (C_Int.t) C_Errno.t; structure S = struct val IFBLK = _const "Posix_FileSys_S_IFBLK" : C_Mode.t; val IFCHR = _const "Posix_FileSys_S_IFCHR" : C_Mode.t; val IFDIR = _const "Posix_FileSys_S_IFDIR" : C_Mode.t; val IFIFO = _const "Posix_FileSys_S_IFIFO" : C_Mode.t; val IFLNK = _const "Posix_FileSys_S_IFLNK" : C_Mode.t; val IFMT = _const "Posix_FileSys_S_IFMT" : C_Mode.t; val IFREG = _const "Posix_FileSys_S_IFREG" : C_Mode.t; val IFSOCK = _const "Posix_FileSys_S_IFSOCK" : C_Mode.t; val IRGRP = _const "Posix_FileSys_S_IRGRP" : C_Mode.t; val IROTH = _const "Posix_FileSys_S_IROTH" : C_Mode.t; val IRUSR = _const "Posix_FileSys_S_IRUSR" : C_Mode.t; val IRWXG = _const "Posix_FileSys_S_IRWXG" : C_Mode.t; val IRWXO = _const "Posix_FileSys_S_IRWXO" : C_Mode.t; val IRWXU = _const "Posix_FileSys_S_IRWXU" : C_Mode.t; val ISGID = _const "Posix_FileSys_S_ISGID" : C_Mode.t; val ISUID = _const "Posix_FileSys_S_ISUID" : C_Mode.t; val ISVTX = _const "Posix_FileSys_S_ISVTX" : C_Mode.t; val IWGRP = _const "Posix_FileSys_S_IWGRP" : C_Mode.t; val IWOTH = _const "Posix_FileSys_S_IWOTH" : C_Mode.t; val IWUSR = _const "Posix_FileSys_S_IWUSR" : C_Mode.t; val IXGRP = _const "Posix_FileSys_S_IXGRP" : C_Mode.t; val IXOTH = _const "Posix_FileSys_S_IXOTH" : C_Mode.t; val IXUSR = _const "Posix_FileSys_S_IXUSR" : C_Mode.t; end structure ST = struct val isBlk = _import "Posix_FileSys_ST_isBlk" private : C_Mode.t -> C_Int.t; val isChr = _import "Posix_FileSys_ST_isChr" private : C_Mode.t -> C_Int.t; val isDir = _import "Posix_FileSys_ST_isDir" private : C_Mode.t -> C_Int.t; val isFIFO = _import "Posix_FileSys_ST_isFIFO" private : C_Mode.t -> C_Int.t; val isLink = _import "Posix_FileSys_ST_isLink" private : C_Mode.t -> C_Int.t; val isReg = _import "Posix_FileSys_ST_isReg" private : C_Mode.t -> C_Int.t; val isSock = _import "Posix_FileSys_ST_isSock" private : C_Mode.t -> C_Int.t; end structure Stat = struct val fstat = _import "Posix_FileSys_Stat_fstat" private : C_Fd.t -> (C_Int.t) C_Errno.t; val getATime = _import "Posix_FileSys_Stat_getATime" private : unit -> C_Time.t; val getCTime = _import "Posix_FileSys_Stat_getCTime" private : unit -> C_Time.t; val getDev = _import "Posix_FileSys_Stat_getDev" private : unit -> C_Dev.t; val getGId = _import "Posix_FileSys_Stat_getGId" private : unit -> C_GId.t; val getINo = _import "Posix_FileSys_Stat_getINo" private : unit -> C_INo.t; val getMode = _import "Posix_FileSys_Stat_getMode" private : unit -> C_Mode.t; val getMTime = _import "Posix_FileSys_Stat_getMTime" private : unit -> C_Time.t; val getNLink = _import "Posix_FileSys_Stat_getNLink" private : unit -> C_NLink.t; val getRDev = _import "Posix_FileSys_Stat_getRDev" private : unit -> C_Dev.t; val getSize = _import "Posix_FileSys_Stat_getSize" private : unit -> C_Off.t; val getUId = _import "Posix_FileSys_Stat_getUId" private : unit -> C_UId.t; val lstat = _import "Posix_FileSys_Stat_lstat" private : NullString8.t -> (C_Int.t) C_Errno.t; val stat = _import "Posix_FileSys_Stat_stat" private : NullString8.t -> (C_Int.t) C_Errno.t; end val symlink = _import "Posix_FileSys_symlink" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t; val truncate = _import "Posix_FileSys_truncate" private : NullString8.t * C_Off.t -> (C_Int.t) C_Errno.t; val umask = _import "Posix_FileSys_umask" private : C_Mode.t -> C_Mode.t; val unlink = _import "Posix_FileSys_unlink" private : NullString8.t -> (C_Int.t) C_Errno.t; structure Utimbuf = struct val setAcTime = _import "Posix_FileSys_Utimbuf_setAcTime" private : C_Time.t -> unit; val setModTime = _import "Posix_FileSys_Utimbuf_setModTime" private : C_Time.t -> unit; val utime = _import "Posix_FileSys_Utimbuf_utime" private : NullString8.t -> (C_Int.t) C_Errno.t; end end structure IO = struct val close = _import "Posix_IO_close" private : C_Fd.t -> (C_Int.t) C_Errno.t; val dup = _import "Posix_IO_dup" private : C_Fd.t -> (C_Fd.t) C_Errno.t; val dup2 = _import "Posix_IO_dup2" private : C_Fd.t * C_Fd.t -> (C_Fd.t) C_Errno.t; val F_DUPFD = _const "Posix_IO_F_DUPFD" : C_Int.t; val F_GETFD = _const "Posix_IO_F_GETFD" : C_Int.t; val F_GETFL = _const "Posix_IO_F_GETFL" : C_Int.t; val F_GETOWN = _const "Posix_IO_F_GETOWN" : C_Int.t; val F_SETFD = _const "Posix_IO_F_SETFD" : C_Int.t; val F_SETFL = _const "Posix_IO_F_SETFL" : C_Int.t; val F_SETOWN = _const "Posix_IO_F_SETOWN" : C_Int.t; val fcntl2 = _import "Posix_IO_fcntl2" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val fcntl3 = _import "Posix_IO_fcntl3" private : C_Fd.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t; structure FD = struct val CLOEXEC = _const "Posix_IO_FD_CLOEXEC" : C_Int.t; end structure FLock = struct val F_GETLK = _const "Posix_IO_FLock_F_GETLK" : C_Int.t; val F_RDLCK = _const "Posix_IO_FLock_F_RDLCK" : C_Short.t; val F_SETLK = _const "Posix_IO_FLock_F_SETLK" : C_Int.t; val F_SETLKW = _const "Posix_IO_FLock_F_SETLKW" : C_Int.t; val F_UNLCK = _const "Posix_IO_FLock_F_UNLCK" : C_Short.t; val F_WRLCK = _const "Posix_IO_FLock_F_WRLCK" : C_Short.t; val fcntl = _import "Posix_IO_FLock_fcntl" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val getLen = _import "Posix_IO_FLock_getLen" private : unit -> C_Off.t; val getPId = _import "Posix_IO_FLock_getPId" private : unit -> C_PId.t; val getStart = _import "Posix_IO_FLock_getStart" private : unit -> C_Off.t; val getType = _import "Posix_IO_FLock_getType" private : unit -> C_Short.t; val getWhence = _import "Posix_IO_FLock_getWhence" private : unit -> C_Short.t; val SEEK_CUR = _const "Posix_IO_FLock_SEEK_CUR" : C_Short.t; val SEEK_END = _const "Posix_IO_FLock_SEEK_END" : C_Short.t; val SEEK_SET = _const "Posix_IO_FLock_SEEK_SET" : C_Short.t; val setLen = _import "Posix_IO_FLock_setLen" private : C_Off.t -> unit; val setPId = _import "Posix_IO_FLock_setPId" private : C_PId.t -> unit; val setStart = _import "Posix_IO_FLock_setStart" private : C_Off.t -> unit; val setType = _import "Posix_IO_FLock_setType" private : C_Short.t -> unit; val setWhence = _import "Posix_IO_FLock_setWhence" private : C_Short.t -> unit; end val fsync = _import "Posix_IO_fsync" private : C_Fd.t -> (C_Int.t) C_Errno.t; val lseek = _import "Posix_IO_lseek" private : C_Fd.t * C_Off.t * C_Int.t -> (C_Off.t) C_Errno.t; val O_ACCMODE = _const "Posix_IO_O_ACCMODE" : C_Int.t; val pipe = _import "Posix_IO_pipe" private : (C_Fd.t) array -> (C_Int.t) C_Errno.t; 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; 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; val SEEK_CUR = _const "Posix_IO_SEEK_CUR" : C_Int.t; val SEEK_END = _const "Posix_IO_SEEK_END" : C_Int.t; val SEEK_SET = _const "Posix_IO_SEEK_SET" : C_Int.t; val setbin = _import "Posix_IO_setbin" private : C_Fd.t -> unit; val settext = _import "Posix_IO_settext" private : C_Fd.t -> unit; 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; 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; 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; 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; end structure ProcEnv = struct val ctermid = _import "Posix_ProcEnv_ctermid" private : unit -> C_String.t; val (environGet, environSet) = _symbol "Posix_ProcEnv_environ" private : (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit); val getegid = _import "Posix_ProcEnv_getegid" private : unit -> C_GId.t; val getenv = _import "Posix_ProcEnv_getenv" private : NullString8.t -> C_String.t; val geteuid = _import "Posix_ProcEnv_geteuid" private : unit -> C_UId.t; val getgid = _import "Posix_ProcEnv_getgid" private : unit -> C_GId.t; val getgroups = _import "Posix_ProcEnv_getgroups" private : C_Int.t * (C_GId.t) array -> (C_Int.t) C_Errno.t; val getgroupsN = _import "Posix_ProcEnv_getgroupsN" private : unit -> C_Int.t; val getlogin = _import "Posix_ProcEnv_getlogin" private : unit -> (C_String.t) C_Errno.t; val getpgrp = _import "Posix_ProcEnv_getpgrp" private : unit -> C_PId.t; val getpid = _import "Posix_ProcEnv_getpid" private : unit -> C_PId.t; val getppid = _import "Posix_ProcEnv_getppid" private : unit -> C_PId.t; val getuid = _import "Posix_ProcEnv_getuid" private : unit -> C_UId.t; val isatty = _import "Posix_ProcEnv_isatty" private : C_Fd.t -> C_Int.t; val SC_2_C_BIND = _const "Posix_ProcEnv_SC_2_C_BIND" : C_Int.t; val SC_2_C_DEV = _const "Posix_ProcEnv_SC_2_C_DEV" : C_Int.t; val SC_2_CHAR_TERM = _const "Posix_ProcEnv_SC_2_CHAR_TERM" : C_Int.t; val SC_2_FORT_DEV = _const "Posix_ProcEnv_SC_2_FORT_DEV" : C_Int.t; val SC_2_FORT_RUN = _const "Posix_ProcEnv_SC_2_FORT_RUN" : C_Int.t; val SC_2_LOCALEDEF = _const "Posix_ProcEnv_SC_2_LOCALEDEF" : C_Int.t; val SC_2_PBS = _const "Posix_ProcEnv_SC_2_PBS" : C_Int.t; val SC_2_PBS_ACCOUNTING = _const "Posix_ProcEnv_SC_2_PBS_ACCOUNTING" : C_Int.t; val SC_2_PBS_CHECKPOINT = _const "Posix_ProcEnv_SC_2_PBS_CHECKPOINT" : C_Int.t; val SC_2_PBS_LOCATE = _const "Posix_ProcEnv_SC_2_PBS_LOCATE" : C_Int.t; val SC_2_PBS_MESSAGE = _const "Posix_ProcEnv_SC_2_PBS_MESSAGE" : C_Int.t; val SC_2_PBS_TRACK = _const "Posix_ProcEnv_SC_2_PBS_TRACK" : C_Int.t; val SC_2_SW_DEV = _const "Posix_ProcEnv_SC_2_SW_DEV" : C_Int.t; val SC_2_UPE = _const "Posix_ProcEnv_SC_2_UPE" : C_Int.t; val SC_2_VERSION = _const "Posix_ProcEnv_SC_2_VERSION" : C_Int.t; val SC_ADVISORY_INFO = _const "Posix_ProcEnv_SC_ADVISORY_INFO" : C_Int.t; val SC_AIO_LISTIO_MAX = _const "Posix_ProcEnv_SC_AIO_LISTIO_MAX" : C_Int.t; val SC_AIO_MAX = _const "Posix_ProcEnv_SC_AIO_MAX" : C_Int.t; val SC_AIO_PRIO_DELTA_MAX = _const "Posix_ProcEnv_SC_AIO_PRIO_DELTA_MAX" : C_Int.t; val SC_ARG_MAX = _const "Posix_ProcEnv_SC_ARG_MAX" : C_Int.t; val SC_ASYNCHRONOUS_IO = _const "Posix_ProcEnv_SC_ASYNCHRONOUS_IO" : C_Int.t; val SC_ATEXIT_MAX = _const "Posix_ProcEnv_SC_ATEXIT_MAX" : C_Int.t; val SC_AVPHYS_PAGES = _const "Posix_ProcEnv_SC_AVPHYS_PAGES" : C_Int.t; val SC_BARRIERS = _const "Posix_ProcEnv_SC_BARRIERS" : C_Int.t; val SC_BC_BASE_MAX = _const "Posix_ProcEnv_SC_BC_BASE_MAX" : C_Int.t; val SC_BC_DIM_MAX = _const "Posix_ProcEnv_SC_BC_DIM_MAX" : C_Int.t; val SC_BC_SCALE_MAX = _const "Posix_ProcEnv_SC_BC_SCALE_MAX" : C_Int.t; val SC_BC_STRING_MAX = _const "Posix_ProcEnv_SC_BC_STRING_MAX" : C_Int.t; val SC_CHILD_MAX = _const "Posix_ProcEnv_SC_CHILD_MAX" : C_Int.t; val SC_CLK_TCK = _const "Posix_ProcEnv_SC_CLK_TCK" : C_Int.t; val SC_CLOCK_SELECTION = _const "Posix_ProcEnv_SC_CLOCK_SELECTION" : C_Int.t; val SC_COLL_WEIGHTS_MAX = _const "Posix_ProcEnv_SC_COLL_WEIGHTS_MAX" : C_Int.t; val SC_CPUTIME = _const "Posix_ProcEnv_SC_CPUTIME" : C_Int.t; val SC_DELAYTIMER_MAX = _const "Posix_ProcEnv_SC_DELAYTIMER_MAX" : C_Int.t; val SC_EXPR_NEST_MAX = _const "Posix_ProcEnv_SC_EXPR_NEST_MAX" : C_Int.t; val SC_FSYNC = _const "Posix_ProcEnv_SC_FSYNC" : C_Int.t; val SC_GETGR_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETGR_R_SIZE_MAX" : C_Int.t; val SC_GETPW_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETPW_R_SIZE_MAX" : C_Int.t; val SC_HOST_NAME_MAX = _const "Posix_ProcEnv_SC_HOST_NAME_MAX" : C_Int.t; val SC_IOV_MAX = _const "Posix_ProcEnv_SC_IOV_MAX" : C_Int.t; val SC_IPV6 = _const "Posix_ProcEnv_SC_IPV6" : C_Int.t; val SC_JOB_CONTROL = _const "Posix_ProcEnv_SC_JOB_CONTROL" : C_Int.t; val SC_LINE_MAX = _const "Posix_ProcEnv_SC_LINE_MAX" : C_Int.t; val SC_LOGIN_NAME_MAX = _const "Posix_ProcEnv_SC_LOGIN_NAME_MAX" : C_Int.t; val SC_MAPPED_FILES = _const "Posix_ProcEnv_SC_MAPPED_FILES" : C_Int.t; val SC_MEMLOCK = _const "Posix_ProcEnv_SC_MEMLOCK" : C_Int.t; val SC_MEMLOCK_RANGE = _const "Posix_ProcEnv_SC_MEMLOCK_RANGE" : C_Int.t; val SC_MEMORY_PROTECTION = _const "Posix_ProcEnv_SC_MEMORY_PROTECTION" : C_Int.t; val SC_MESSAGE_PASSING = _const "Posix_ProcEnv_SC_MESSAGE_PASSING" : C_Int.t; val SC_MONOTONIC_CLOCK = _const "Posix_ProcEnv_SC_MONOTONIC_CLOCK" : C_Int.t; val SC_MQ_OPEN_MAX = _const "Posix_ProcEnv_SC_MQ_OPEN_MAX" : C_Int.t; val SC_MQ_PRIO_MAX = _const "Posix_ProcEnv_SC_MQ_PRIO_MAX" : C_Int.t; val SC_NGROUPS_MAX = _const "Posix_ProcEnv_SC_NGROUPS_MAX" : C_Int.t; val SC_NPROCESSORS_CONF = _const "Posix_ProcEnv_SC_NPROCESSORS_CONF" : C_Int.t; val SC_NPROCESSORS_ONLN = _const "Posix_ProcEnv_SC_NPROCESSORS_ONLN" : C_Int.t; val SC_OPEN_MAX = _const "Posix_ProcEnv_SC_OPEN_MAX" : C_Int.t; val SC_PAGE_SIZE = _const "Posix_ProcEnv_SC_PAGE_SIZE" : C_Int.t; val SC_PAGESIZE = _const "Posix_ProcEnv_SC_PAGESIZE" : C_Int.t; val SC_PHYS_PAGES = _const "Posix_ProcEnv_SC_PHYS_PAGES" : C_Int.t; val SC_PRIORITIZED_IO = _const "Posix_ProcEnv_SC_PRIORITIZED_IO" : C_Int.t; val SC_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_PRIORITY_SCHEDULING" : C_Int.t; val SC_RAW_SOCKETS = _const "Posix_ProcEnv_SC_RAW_SOCKETS" : C_Int.t; val SC_RE_DUP_MAX = _const "Posix_ProcEnv_SC_RE_DUP_MAX" : C_Int.t; val SC_READER_WRITER_LOCKS = _const "Posix_ProcEnv_SC_READER_WRITER_LOCKS" : C_Int.t; val SC_REALTIME_SIGNALS = _const "Posix_ProcEnv_SC_REALTIME_SIGNALS" : C_Int.t; val SC_REGEXP = _const "Posix_ProcEnv_SC_REGEXP" : C_Int.t; val SC_RTSIG_MAX = _const "Posix_ProcEnv_SC_RTSIG_MAX" : C_Int.t; val SC_SAVED_IDS = _const "Posix_ProcEnv_SC_SAVED_IDS" : C_Int.t; val SC_SEM_NSEMS_MAX = _const "Posix_ProcEnv_SC_SEM_NSEMS_MAX" : C_Int.t; val SC_SEM_VALUE_MAX = _const "Posix_ProcEnv_SC_SEM_VALUE_MAX" : C_Int.t; val SC_SEMAPHORES = _const "Posix_ProcEnv_SC_SEMAPHORES" : C_Int.t; val SC_SHARED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_SHARED_MEMORY_OBJECTS" : C_Int.t; val SC_SHELL = _const "Posix_ProcEnv_SC_SHELL" : C_Int.t; val SC_SIGQUEUE_MAX = _const "Posix_ProcEnv_SC_SIGQUEUE_MAX" : C_Int.t; val SC_SPAWN = _const "Posix_ProcEnv_SC_SPAWN" : C_Int.t; val SC_SPIN_LOCKS = _const "Posix_ProcEnv_SC_SPIN_LOCKS" : C_Int.t; val SC_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_SPORADIC_SERVER" : C_Int.t; val SC_SS_REPL_MAX = _const "Posix_ProcEnv_SC_SS_REPL_MAX" : C_Int.t; val SC_STREAM_MAX = _const "Posix_ProcEnv_SC_STREAM_MAX" : C_Int.t; val SC_SYMLOOP_MAX = _const "Posix_ProcEnv_SC_SYMLOOP_MAX" : C_Int.t; val SC_SYNCHRONIZED_IO = _const "Posix_ProcEnv_SC_SYNCHRONIZED_IO" : C_Int.t; val SC_THREAD_ATTR_STACKADDR = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKADDR" : C_Int.t; val SC_THREAD_ATTR_STACKSIZE = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKSIZE" : C_Int.t; val SC_THREAD_CPUTIME = _const "Posix_ProcEnv_SC_THREAD_CPUTIME" : C_Int.t; val SC_THREAD_DESTRUCTOR_ITERATIONS = _const "Posix_ProcEnv_SC_THREAD_DESTRUCTOR_ITERATIONS" : C_Int.t; val SC_THREAD_KEYS_MAX = _const "Posix_ProcEnv_SC_THREAD_KEYS_MAX" : C_Int.t; val SC_THREAD_PRIO_INHERIT = _const "Posix_ProcEnv_SC_THREAD_PRIO_INHERIT" : C_Int.t; val SC_THREAD_PRIO_PROTECT = _const "Posix_ProcEnv_SC_THREAD_PRIO_PROTECT" : C_Int.t; val SC_THREAD_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_THREAD_PRIORITY_SCHEDULING" : C_Int.t; val SC_THREAD_PROCESS_SHARED = _const "Posix_ProcEnv_SC_THREAD_PROCESS_SHARED" : C_Int.t; val SC_THREAD_SAFE_FUNCTIONS = _const "Posix_ProcEnv_SC_THREAD_SAFE_FUNCTIONS" : C_Int.t; val SC_THREAD_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_THREAD_SPORADIC_SERVER" : C_Int.t; val SC_THREAD_STACK_MIN = _const "Posix_ProcEnv_SC_THREAD_STACK_MIN" : C_Int.t; val SC_THREAD_THREADS_MAX = _const "Posix_ProcEnv_SC_THREAD_THREADS_MAX" : C_Int.t; val SC_THREADS = _const "Posix_ProcEnv_SC_THREADS" : C_Int.t; val SC_TIMEOUTS = _const "Posix_ProcEnv_SC_TIMEOUTS" : C_Int.t; val SC_TIMER_MAX = _const "Posix_ProcEnv_SC_TIMER_MAX" : C_Int.t; val SC_TIMERS = _const "Posix_ProcEnv_SC_TIMERS" : C_Int.t; val SC_TRACE = _const "Posix_ProcEnv_SC_TRACE" : C_Int.t; val SC_TRACE_EVENT_FILTER = _const "Posix_ProcEnv_SC_TRACE_EVENT_FILTER" : C_Int.t; val SC_TRACE_EVENT_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_EVENT_NAME_MAX" : C_Int.t; val SC_TRACE_INHERIT = _const "Posix_ProcEnv_SC_TRACE_INHERIT" : C_Int.t; val SC_TRACE_LOG = _const "Posix_ProcEnv_SC_TRACE_LOG" : C_Int.t; val SC_TRACE_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_NAME_MAX" : C_Int.t; val SC_TRACE_SYS_MAX = _const "Posix_ProcEnv_SC_TRACE_SYS_MAX" : C_Int.t; val SC_TRACE_USER_EVENT_MAX = _const "Posix_ProcEnv_SC_TRACE_USER_EVENT_MAX" : C_Int.t; val SC_TTY_NAME_MAX = _const "Posix_ProcEnv_SC_TTY_NAME_MAX" : C_Int.t; val SC_TYPED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_TYPED_MEMORY_OBJECTS" : C_Int.t; val SC_TZNAME_MAX = _const "Posix_ProcEnv_SC_TZNAME_MAX" : C_Int.t; val SC_V6_ILP32_OFF32 = _const "Posix_ProcEnv_SC_V6_ILP32_OFF32" : C_Int.t; val SC_V6_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_V6_ILP32_OFFBIG" : C_Int.t; val SC_V6_LP64_OFF64 = _const "Posix_ProcEnv_SC_V6_LP64_OFF64" : C_Int.t; val SC_V6_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_V6_LPBIG_OFFBIG" : C_Int.t; val SC_VERSION = _const "Posix_ProcEnv_SC_VERSION" : C_Int.t; val SC_XBS5_ILP32_OFF32 = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFF32" : C_Int.t; val SC_XBS5_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFFBIG" : C_Int.t; val SC_XBS5_LP64_OFF64 = _const "Posix_ProcEnv_SC_XBS5_LP64_OFF64" : C_Int.t; val SC_XBS5_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_LPBIG_OFFBIG" : C_Int.t; val SC_XOPEN_CRYPT = _const "Posix_ProcEnv_SC_XOPEN_CRYPT" : C_Int.t; val SC_XOPEN_ENH_I18N = _const "Posix_ProcEnv_SC_XOPEN_ENH_I18N" : C_Int.t; val SC_XOPEN_LEGACY = _const "Posix_ProcEnv_SC_XOPEN_LEGACY" : C_Int.t; val SC_XOPEN_REALTIME = _const "Posix_ProcEnv_SC_XOPEN_REALTIME" : C_Int.t; val SC_XOPEN_REALTIME_THREADS = _const "Posix_ProcEnv_SC_XOPEN_REALTIME_THREADS" : C_Int.t; val SC_XOPEN_SHM = _const "Posix_ProcEnv_SC_XOPEN_SHM" : C_Int.t; val SC_XOPEN_STREAMS = _const "Posix_ProcEnv_SC_XOPEN_STREAMS" : C_Int.t; val SC_XOPEN_UNIX = _const "Posix_ProcEnv_SC_XOPEN_UNIX" : C_Int.t; val SC_XOPEN_VERSION = _const "Posix_ProcEnv_SC_XOPEN_VERSION" : C_Int.t; val setenv = _import "Posix_ProcEnv_setenv" private : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t; val setgid = _import "Posix_ProcEnv_setgid" private : C_GId.t -> (C_Int.t) C_Errno.t; val setgroups = _import "Posix_ProcEnv_setgroups" private : C_Int.t * (C_GId.t) vector -> (C_Int.t) C_Errno.t; val setpgid = _import "Posix_ProcEnv_setpgid" private : C_PId.t * C_PId.t -> (C_Int.t) C_Errno.t; val setsid = _import "Posix_ProcEnv_setsid" private : unit -> (C_PId.t) C_Errno.t; val setuid = _import "Posix_ProcEnv_setuid" private : C_UId.t -> (C_Int.t) C_Errno.t; val sysconf = _import "Posix_ProcEnv_sysconf" private : C_Int.t -> (C_Long.t) C_Errno.t; val times = _import "Posix_ProcEnv_times" private : unit -> (C_Clock.t) C_Errno.t; structure Times = struct val getCSTime = _import "Posix_ProcEnv_Times_getCSTime" private : unit -> C_Clock.t; val getCUTime = _import "Posix_ProcEnv_Times_getCUTime" private : unit -> C_Clock.t; val getSTime = _import "Posix_ProcEnv_Times_getSTime" private : unit -> C_Clock.t; val getUTime = _import "Posix_ProcEnv_Times_getUTime" private : unit -> C_Clock.t; end val ttyname = _import "Posix_ProcEnv_ttyname" private : C_Fd.t -> (C_String.t) C_Errno.t; val uname = _import "Posix_ProcEnv_uname" private : unit -> (C_Int.t) C_Errno.t; structure Uname = struct val getMachine = _import "Posix_ProcEnv_Uname_getMachine" private : unit -> C_String.t; val getNodeName = _import "Posix_ProcEnv_Uname_getNodeName" private : unit -> C_String.t; val getRelease = _import "Posix_ProcEnv_Uname_getRelease" private : unit -> C_String.t; val getSysName = _import "Posix_ProcEnv_Uname_getSysName" private : unit -> C_String.t; val getVersion = _import "Posix_ProcEnv_Uname_getVersion" private : unit -> C_String.t; end end structure Process = struct val alarm = _import "Posix_Process_alarm" private : C_UInt.t -> C_UInt.t; val exece = _import "Posix_Process_exece" private : NullString8.t * (NullString8.t) array * (NullString8.t) array -> (C_Int.t) C_Errno.t; val execp = _import "Posix_Process_execp" private : NullString8.t * (NullString8.t) array -> (C_Int.t) C_Errno.t; val exit = _import "Posix_Process_exit" private : C_Status.t -> unit; val exitStatus = _import "Posix_Process_exitStatus" private : C_Status.t -> C_Int.t; val fork = _import "Posix_Process_fork" private : unit -> (C_PId.t) C_Errno.t; val ifExited = _import "Posix_Process_ifExited" private : C_Status.t -> C_Int.t; val ifSignaled = _import "Posix_Process_ifSignaled" private : C_Status.t -> C_Int.t; val ifStopped = _import "Posix_Process_ifStopped" private : C_Status.t -> C_Int.t; val kill = _import "Posix_Process_kill" private : C_PId.t * C_Signal.t -> (C_Int.t) C_Errno.t; val nanosleep = _import "Posix_Process_nanosleep" private : (C_Time.t) ref * (C_Long.t) ref -> (C_Int.t) C_Errno.t; val pause = _import "Posix_Process_pause" private : unit -> (C_Int.t) C_Errno.t; val sleep = _import "Posix_Process_sleep" private : C_UInt.t -> C_UInt.t; val stopSig = _import "Posix_Process_stopSig" private : C_Status.t -> C_Signal.t; val system = _import "Posix_Process_system" private : NullString8.t -> (C_Status.t) C_Errno.t; val termSig = _import "Posix_Process_termSig" private : C_Status.t -> C_Signal.t; structure W = struct val NOHANG = _const "Posix_Process_W_NOHANG" : C_Int.t; val UNTRACED = _const "Posix_Process_W_UNTRACED" : C_Int.t; end val waitpid = _import "Posix_Process_waitpid" private : C_PId.t * (C_Status.t) ref * C_Int.t -> (C_PId.t) C_Errno.t; end structure Signal = struct val default = _import "Posix_Signal_default" private : C_Signal.t -> (C_Int.t) C_Errno.t; val handlee = _import "Posix_Signal_handlee" private : C_Signal.t -> (C_Int.t) C_Errno.t; val handleGC = _import "Posix_Signal_handleGC" private : unit -> unit; val ignore = _import "Posix_Signal_ignore" private : C_Signal.t -> (C_Int.t) C_Errno.t; val isDefault = _import "Posix_Signal_isDefault" private : C_Signal.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t; val isIgnore = _import "Posix_Signal_isIgnore" private : C_Signal.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t; val isPending = _import "Posix_Signal_isPending" private : C_Signal.t -> C_Int.t; val isPendingGC = _import "Posix_Signal_isPendingGC" private : unit -> C_Int.t; val NSIG = _const "Posix_Signal_NSIG" : C_Int.t; val resetPending = _import "Posix_Signal_resetPending" private : unit -> unit; val SIG_BLOCK = _const "Posix_Signal_SIG_BLOCK" : C_Int.t; val SIG_SETMASK = _const "Posix_Signal_SIG_SETMASK" : C_Int.t; val SIG_UNBLOCK = _const "Posix_Signal_SIG_UNBLOCK" : C_Int.t; val SIGABRT = _const "Posix_Signal_SIGABRT" : C_Signal.t; val sigaddset = _import "Posix_Signal_sigaddset" private : (Word8.t) array * C_Signal.t -> (C_Int.t) C_Errno.t; val SIGALRM = _const "Posix_Signal_SIGALRM" : C_Signal.t; val SIGBUS = _const "Posix_Signal_SIGBUS" : C_Signal.t; val SIGCHLD = _const "Posix_Signal_SIGCHLD" : C_Signal.t; val SIGCONT = _const "Posix_Signal_SIGCONT" : C_Signal.t; val sigdelset = _import "Posix_Signal_sigdelset" private : (Word8.t) array * C_Signal.t -> (C_Int.t) C_Errno.t; val sigemptyset = _import "Posix_Signal_sigemptyset" private : (Word8.t) array -> (C_Int.t) C_Errno.t; val sigfillset = _import "Posix_Signal_sigfillset" private : (Word8.t) array -> (C_Int.t) C_Errno.t; val SIGFPE = _const "Posix_Signal_SIGFPE" : C_Signal.t; val SIGHUP = _const "Posix_Signal_SIGHUP" : C_Signal.t; val SIGILL = _const "Posix_Signal_SIGILL" : C_Signal.t; val SIGINT = _const "Posix_Signal_SIGINT" : C_Signal.t; val sigismember = _import "Posix_Signal_sigismember" private : (Word8.t) vector * C_Signal.t -> (C_Int.t) C_Errno.t; val SIGKILL = _const "Posix_Signal_SIGKILL" : C_Signal.t; val SIGPIPE = _const "Posix_Signal_SIGPIPE" : C_Signal.t; val SIGPOLL = _const "Posix_Signal_SIGPOLL" : C_Signal.t; val sigprocmask = _import "Posix_Signal_sigprocmask" private : C_Int.t * (Word8.t) vector * (Word8.t) array -> (C_Int.t) C_Errno.t; val SIGPROF = _const "Posix_Signal_SIGPROF" : C_Signal.t; val SIGQUIT = _const "Posix_Signal_SIGQUIT" : C_Signal.t; val SIGSEGV = _const "Posix_Signal_SIGSEGV" : C_Signal.t; val sigSetLen = _const "Posix_Signal_sigSetLen" : C_Size.t; val SIGSTOP = _const "Posix_Signal_SIGSTOP" : C_Signal.t; val sigsuspend = _import "Posix_Signal_sigsuspend" private : (Word8.t) vector -> unit; val SIGSYS = _const "Posix_Signal_SIGSYS" : C_Signal.t; val SIGTERM = _const "Posix_Signal_SIGTERM" : C_Signal.t; val SIGTRAP = _const "Posix_Signal_SIGTRAP" : C_Signal.t; val SIGTSTP = _const "Posix_Signal_SIGTSTP" : C_Signal.t; val SIGTTIN = _const "Posix_Signal_SIGTTIN" : C_Signal.t; val SIGTTOU = _const "Posix_Signal_SIGTTOU" : C_Signal.t; val SIGURG = _const "Posix_Signal_SIGURG" : C_Signal.t; val SIGUSR1 = _const "Posix_Signal_SIGUSR1" : C_Signal.t; val SIGUSR2 = _const "Posix_Signal_SIGUSR2" : C_Signal.t; val SIGVTALRM = _const "Posix_Signal_SIGVTALRM" : C_Signal.t; val SIGXCPU = _const "Posix_Signal_SIGXCPU" : C_Signal.t; val SIGXFSZ = _const "Posix_Signal_SIGXFSZ" : C_Signal.t; end structure SysDB = struct val getgrgid = _import "Posix_SysDB_getgrgid" private : C_GId.t -> (C_Int.t) C_Errno.t; val getgrnam = _import "Posix_SysDB_getgrnam" private : NullString8.t -> (C_Int.t) C_Errno.t; val getpwnam = _import "Posix_SysDB_getpwnam" private : NullString8.t -> (C_Int.t) C_Errno.t; val getpwuid = _import "Posix_SysDB_getpwuid" private : C_GId.t -> (C_Int.t) C_Errno.t; structure Group = struct val getGId = _import "Posix_SysDB_Group_getGId" private : unit -> C_GId.t; val getMem = _import "Posix_SysDB_Group_getMem" private : unit -> C_StringArray.t; val getName = _import "Posix_SysDB_Group_getName" private : unit -> C_String.t; end structure Passwd = struct val getDir = _import "Posix_SysDB_Passwd_getDir" private : unit -> C_String.t; val getGId = _import "Posix_SysDB_Passwd_getGId" private : unit -> C_GId.t; val getName = _import "Posix_SysDB_Passwd_getName" private : unit -> C_String.t; val getShell = _import "Posix_SysDB_Passwd_getShell" private : unit -> C_String.t; val getUId = _import "Posix_SysDB_Passwd_getUId" private : unit -> C_UId.t; end end structure TTY = struct val B0 = _const "Posix_TTY_B0" : C_Speed.t; val B110 = _const "Posix_TTY_B110" : C_Speed.t; val B1200 = _const "Posix_TTY_B1200" : C_Speed.t; val B134 = _const "Posix_TTY_B134" : C_Speed.t; val B150 = _const "Posix_TTY_B150" : C_Speed.t; val B1800 = _const "Posix_TTY_B1800" : C_Speed.t; val B19200 = _const "Posix_TTY_B19200" : C_Speed.t; val B200 = _const "Posix_TTY_B200" : C_Speed.t; val B2400 = _const "Posix_TTY_B2400" : C_Speed.t; val B300 = _const "Posix_TTY_B300" : C_Speed.t; val B38400 = _const "Posix_TTY_B38400" : C_Speed.t; val B4800 = _const "Posix_TTY_B4800" : C_Speed.t; val B50 = _const "Posix_TTY_B50" : C_Speed.t; val B600 = _const "Posix_TTY_B600" : C_Speed.t; val B75 = _const "Posix_TTY_B75" : C_Speed.t; val B9600 = _const "Posix_TTY_B9600" : C_Speed.t; structure C = struct val CLOCAL = _const "Posix_TTY_C_CLOCAL" : C_TCFlag.t; val CREAD = _const "Posix_TTY_C_CREAD" : C_TCFlag.t; val CS5 = _const "Posix_TTY_C_CS5" : C_TCFlag.t; val CS6 = _const "Posix_TTY_C_CS6" : C_TCFlag.t; val CS7 = _const "Posix_TTY_C_CS7" : C_TCFlag.t; val CS8 = _const "Posix_TTY_C_CS8" : C_TCFlag.t; val CSIZE = _const "Posix_TTY_C_CSIZE" : C_TCFlag.t; val CSTOPB = _const "Posix_TTY_C_CSTOPB" : C_TCFlag.t; val HUPCL = _const "Posix_TTY_C_HUPCL" : C_TCFlag.t; val PARENB = _const "Posix_TTY_C_PARENB" : C_TCFlag.t; val PARODD = _const "Posix_TTY_C_PARODD" : C_TCFlag.t; end structure I = struct val BRKINT = _const "Posix_TTY_I_BRKINT" : C_TCFlag.t; val ICRNL = _const "Posix_TTY_I_ICRNL" : C_TCFlag.t; val IGNBRK = _const "Posix_TTY_I_IGNBRK" : C_TCFlag.t; val IGNCR = _const "Posix_TTY_I_IGNCR" : C_TCFlag.t; val IGNPAR = _const "Posix_TTY_I_IGNPAR" : C_TCFlag.t; val INLCR = _const "Posix_TTY_I_INLCR" : C_TCFlag.t; val INPCK = _const "Posix_TTY_I_INPCK" : C_TCFlag.t; val ISTRIP = _const "Posix_TTY_I_ISTRIP" : C_TCFlag.t; val IXANY = _const "Posix_TTY_I_IXANY" : C_TCFlag.t; val IXOFF = _const "Posix_TTY_I_IXOFF" : C_TCFlag.t; val IXON = _const "Posix_TTY_I_IXON" : C_TCFlag.t; val PARMRK = _const "Posix_TTY_I_PARMRK" : C_TCFlag.t; end structure L = struct val ECHO = _const "Posix_TTY_L_ECHO" : C_TCFlag.t; val ECHOE = _const "Posix_TTY_L_ECHOE" : C_TCFlag.t; val ECHOK = _const "Posix_TTY_L_ECHOK" : C_TCFlag.t; val ECHONL = _const "Posix_TTY_L_ECHONL" : C_TCFlag.t; val ICANON = _const "Posix_TTY_L_ICANON" : C_TCFlag.t; val IEXTEN = _const "Posix_TTY_L_IEXTEN" : C_TCFlag.t; val ISIG = _const "Posix_TTY_L_ISIG" : C_TCFlag.t; val NOFLSH = _const "Posix_TTY_L_NOFLSH" : C_TCFlag.t; val TOSTOP = _const "Posix_TTY_L_TOSTOP" : C_TCFlag.t; end structure O = struct val BS0 = _const "Posix_TTY_O_BS0" : C_TCFlag.t; val BS1 = _const "Posix_TTY_O_BS1" : C_TCFlag.t; val BSDLY = _const "Posix_TTY_O_BSDLY" : C_TCFlag.t; val CR0 = _const "Posix_TTY_O_CR0" : C_TCFlag.t; val CR1 = _const "Posix_TTY_O_CR1" : C_TCFlag.t; val CR2 = _const "Posix_TTY_O_CR2" : C_TCFlag.t; val CR3 = _const "Posix_TTY_O_CR3" : C_TCFlag.t; val CRDLY = _const "Posix_TTY_O_CRDLY" : C_TCFlag.t; val FF0 = _const "Posix_TTY_O_FF0" : C_TCFlag.t; val FF1 = _const "Posix_TTY_O_FF1" : C_TCFlag.t; val FFDLY = _const "Posix_TTY_O_FFDLY" : C_TCFlag.t; val NL0 = _const "Posix_TTY_O_NL0" : C_TCFlag.t; val NL1 = _const "Posix_TTY_O_NL1" : C_TCFlag.t; val NLDLY = _const "Posix_TTY_O_NLDLY" : C_TCFlag.t; val OCRNL = _const "Posix_TTY_O_OCRNL" : C_TCFlag.t; val OFILL = _const "Posix_TTY_O_OFILL" : C_TCFlag.t; val ONLCR = _const "Posix_TTY_O_ONLCR" : C_TCFlag.t; val ONLRET = _const "Posix_TTY_O_ONLRET" : C_TCFlag.t; val ONOCR = _const "Posix_TTY_O_ONOCR" : C_TCFlag.t; val OPOST = _const "Posix_TTY_O_OPOST" : C_TCFlag.t; val TAB0 = _const "Posix_TTY_O_TAB0" : C_TCFlag.t; val TAB1 = _const "Posix_TTY_O_TAB1" : C_TCFlag.t; val TAB2 = _const "Posix_TTY_O_TAB2" : C_TCFlag.t; val TAB3 = _const "Posix_TTY_O_TAB3" : C_TCFlag.t; val TABDLY = _const "Posix_TTY_O_TABDLY" : C_TCFlag.t; val VT0 = _const "Posix_TTY_O_VT0" : C_TCFlag.t; val VT1 = _const "Posix_TTY_O_VT1" : C_TCFlag.t; val VTDLY = _const "Posix_TTY_O_VTDLY" : C_TCFlag.t; end structure TC = struct val drain = _import "Posix_TTY_TC_drain" private : C_Fd.t -> (C_Int.t) C_Errno.t; val flow = _import "Posix_TTY_TC_flow" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val flush = _import "Posix_TTY_TC_flush" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val getattr = _import "Posix_TTY_TC_getattr" private : C_Fd.t -> (C_Int.t) C_Errno.t; val getpgrp = _import "Posix_TTY_TC_getpgrp" private : C_Fd.t -> (C_PId.t) C_Errno.t; val sendbreak = _import "Posix_TTY_TC_sendbreak" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val setattr = _import "Posix_TTY_TC_setattr" private : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t; val setpgrp = _import "Posix_TTY_TC_setpgrp" private : C_Fd.t * C_PId.t -> (C_Int.t) C_Errno.t; val TCIFLUSH = _const "Posix_TTY_TC_TCIFLUSH" : C_Int.t; val TCIOFF = _const "Posix_TTY_TC_TCIOFF" : C_Int.t; val TCIOFLUSH = _const "Posix_TTY_TC_TCIOFLUSH" : C_Int.t; val TCION = _const "Posix_TTY_TC_TCION" : C_Int.t; val TCOFLUSH = _const "Posix_TTY_TC_TCOFLUSH" : C_Int.t; val TCOOFF = _const "Posix_TTY_TC_TCOOFF" : C_Int.t; val TCOON = _const "Posix_TTY_TC_TCOON" : C_Int.t; val TCSADRAIN = _const "Posix_TTY_TC_TCSADRAIN" : C_Int.t; val TCSAFLUSH = _const "Posix_TTY_TC_TCSAFLUSH" : C_Int.t; val TCSANOW = _const "Posix_TTY_TC_TCSANOW" : C_Int.t; end structure Termios = struct val cfGetISpeed = _import "Posix_TTY_Termios_cfGetISpeed" private : unit -> C_Speed.t; val cfGetOSpeed = _import "Posix_TTY_Termios_cfGetOSpeed" private : unit -> C_Speed.t; val cfSetISpeed = _import "Posix_TTY_Termios_cfSetISpeed" private : C_Speed.t -> (C_Int.t) C_Errno.t; val cfSetOSpeed = _import "Posix_TTY_Termios_cfSetOSpeed" private : C_Speed.t -> (C_Int.t) C_Errno.t; val getCC = _import "Posix_TTY_Termios_getCC" private : (C_CC.t) array -> unit; val getCFlag = _import "Posix_TTY_Termios_getCFlag" private : unit -> C_TCFlag.t; val getIFlag = _import "Posix_TTY_Termios_getIFlag" private : unit -> C_TCFlag.t; val getLFlag = _import "Posix_TTY_Termios_getLFlag" private : unit -> C_TCFlag.t; val getOFlag = _import "Posix_TTY_Termios_getOFlag" private : unit -> C_TCFlag.t; val setCC = _import "Posix_TTY_Termios_setCC" private : (C_CC.t) array -> unit; val setCFlag = _import "Posix_TTY_Termios_setCFlag" private : C_TCFlag.t -> unit; val setIFlag = _import "Posix_TTY_Termios_setIFlag" private : C_TCFlag.t -> unit; val setLFlag = _import "Posix_TTY_Termios_setLFlag" private : C_TCFlag.t -> unit; val setOFlag = _import "Posix_TTY_Termios_setOFlag" private : C_TCFlag.t -> unit; end structure V = struct val NCCS = _const "Posix_TTY_V_NCCS" : C_Int.t; val VEOF = _const "Posix_TTY_V_VEOF" : C_Int.t; val VEOL = _const "Posix_TTY_V_VEOL" : C_Int.t; val VERASE = _const "Posix_TTY_V_VERASE" : C_Int.t; val VINTR = _const "Posix_TTY_V_VINTR" : C_Int.t; val VKILL = _const "Posix_TTY_V_VKILL" : C_Int.t; val VMIN = _const "Posix_TTY_V_VMIN" : C_Int.t; val VQUIT = _const "Posix_TTY_V_VQUIT" : C_Int.t; val VSTART = _const "Posix_TTY_V_VSTART" : C_Int.t; val VSTOP = _const "Posix_TTY_V_VSTOP" : C_Int.t; val VSUSP = _const "Posix_TTY_V_VSUSP" : C_Int.t; val VTIME = _const "Posix_TTY_V_VTIME" : C_Int.t; end end end structure Real32 = struct type t = Real32.t val abs = _import "Real32_abs" private : Real32.t -> Real32.t; val add = _import "Real32_add" private : Real32.t * Real32.t -> Real32.t; val castToWord32 = _import "Real32_castToWord32" private : Real32.t -> Word32.t; val div = _import "Real32_div" private : Real32.t * Real32.t -> Real32.t; val equal = _import "Real32_equal" private : Real32.t * Real32.t -> Bool.t; val fetch = _import "Real32_fetch" private : (Real32.t) ref -> Real32.t; val frexp = _import "Real32_frexp" private : Real32.t * (C_Int.t) ref -> Real32.t; val gdtoa = _import "Real32_gdtoa" private : Real32.t * C_Int.t * C_Int.t * C_Int.t * (C_Int.t) ref -> C_String.t; val ldexp = _import "Real32_ldexp" private : Real32.t * C_Int.t -> Real32.t; val le = _import "Real32_le" private : Real32.t * Real32.t -> Bool.t; val lt = _import "Real32_lt" private : Real32.t * Real32.t -> Bool.t; structure Math = struct val acos = _import "Real32_Math_acos" private : Real32.t -> Real32.t; val asin = _import "Real32_Math_asin" private : Real32.t -> Real32.t; val atan = _import "Real32_Math_atan" private : Real32.t -> Real32.t; val atan2 = _import "Real32_Math_atan2" private : Real32.t * Real32.t -> Real32.t; val cos = _import "Real32_Math_cos" private : Real32.t -> Real32.t; val cosh = _import "Real32_Math_cosh" private : Real32.t -> Real32.t; val (eGet, eSet) = _symbol "Real32_Math_e" private : (unit -> (Real32.t)) * ((Real32.t) -> unit); val exp = _import "Real32_Math_exp" private : Real32.t -> Real32.t; val ln = _import "Real32_Math_ln" private : Real32.t -> Real32.t; val log10 = _import "Real32_Math_log10" private : Real32.t -> Real32.t; val (piGet, piSet) = _symbol "Real32_Math_pi" private : (unit -> (Real32.t)) * ((Real32.t) -> unit); val pow = _import "Real32_Math_pow" private : Real32.t * Real32.t -> Real32.t; val sin = _import "Real32_Math_sin" private : Real32.t -> Real32.t; val sinh = _import "Real32_Math_sinh" private : Real32.t -> Real32.t; val sqrt = _import "Real32_Math_sqrt" private : Real32.t -> Real32.t; val tan = _import "Real32_Math_tan" private : Real32.t -> Real32.t; val tanh = _import "Real32_Math_tanh" private : Real32.t -> Real32.t; end val modf = _import "Real32_modf" private : Real32.t * (Real32.t) ref -> Real32.t; val move = _import "Real32_move" private : (Real32.t) ref * (Real32.t) ref -> unit; val mul = _import "Real32_mul" private : Real32.t * Real32.t -> Real32.t; val muladd = _import "Real32_muladd" private : Real32.t * Real32.t * Real32.t -> Real32.t; val mulsub = _import "Real32_mulsub" private : Real32.t * Real32.t * Real32.t -> Real32.t; val neg = _import "Real32_neg" private : Real32.t -> Real32.t; val realCeil = _import "Real32_realCeil" private : Real32.t -> Real32.t; val realFloor = _import "Real32_realFloor" private : Real32.t -> Real32.t; val realTrunc = _import "Real32_realTrunc" private : Real32.t -> Real32.t; val rndToReal32 = _import "Real32_rndToReal32" private : Real32.t -> Real32.t; val rndToReal64 = _import "Real32_rndToReal64" private : Real32.t -> Real64.t; val rndToWordS16 = _import "Real32_rndToWordS16" private : Real32.t -> Int16.t; val rndToWordS32 = _import "Real32_rndToWordS32" private : Real32.t -> Int32.t; val rndToWordS64 = _import "Real32_rndToWordS64" private : Real32.t -> Int64.t; val rndToWordS8 = _import "Real32_rndToWordS8" private : Real32.t -> Int8.t; val rndToWordU16 = _import "Real32_rndToWordU16" private : Real32.t -> Word16.t; val rndToWordU32 = _import "Real32_rndToWordU32" private : Real32.t -> Word32.t; val rndToWordU64 = _import "Real32_rndToWordU64" private : Real32.t -> Word64.t; val rndToWordU8 = _import "Real32_rndToWordU8" private : Real32.t -> Word8.t; val round = _import "Real32_round" private : Real32.t -> Real32.t; val store = _import "Real32_store" private : (Real32.t) ref * Real32.t -> unit; val strtor = _import "Real32_strtor" private : NullString8.t * C_Int.t -> Real32.t; val sub = _import "Real32_sub" private : Real32.t * Real32.t -> Real32.t; end structure Real64 = struct type t = Real64.t val abs = _import "Real64_abs" private : Real64.t -> Real64.t; val add = _import "Real64_add" private : Real64.t * Real64.t -> Real64.t; val castToWord64 = _import "Real64_castToWord64" private : Real64.t -> Word64.t; val div = _import "Real64_div" private : Real64.t * Real64.t -> Real64.t; val equal = _import "Real64_equal" private : Real64.t * Real64.t -> Bool.t; val fetch = _import "Real64_fetch" private : (Real64.t) ref -> Real64.t; val frexp = _import "Real64_frexp" private : Real64.t * (C_Int.t) ref -> Real64.t; val gdtoa = _import "Real64_gdtoa" private : Real64.t * C_Int.t * C_Int.t * C_Int.t * (C_Int.t) ref -> C_String.t; val ldexp = _import "Real64_ldexp" private : Real64.t * C_Int.t -> Real64.t; val le = _import "Real64_le" private : Real64.t * Real64.t -> Bool.t; val lt = _import "Real64_lt" private : Real64.t * Real64.t -> Bool.t; structure Math = struct val acos = _import "Real64_Math_acos" private : Real64.t -> Real64.t; val asin = _import "Real64_Math_asin" private : Real64.t -> Real64.t; val atan = _import "Real64_Math_atan" private : Real64.t -> Real64.t; val atan2 = _import "Real64_Math_atan2" private : Real64.t * Real64.t -> Real64.t; val cos = _import "Real64_Math_cos" private : Real64.t -> Real64.t; val cosh = _import "Real64_Math_cosh" private : Real64.t -> Real64.t; val (eGet, eSet) = _symbol "Real64_Math_e" private : (unit -> (Real64.t)) * ((Real64.t) -> unit); val exp = _import "Real64_Math_exp" private : Real64.t -> Real64.t; val ln = _import "Real64_Math_ln" private : Real64.t -> Real64.t; val log10 = _import "Real64_Math_log10" private : Real64.t -> Real64.t; val (piGet, piSet) = _symbol "Real64_Math_pi" private : (unit -> (Real64.t)) * ((Real64.t) -> unit); val pow = _import "Real64_Math_pow" private : Real64.t * Real64.t -> Real64.t; val sin = _import "Real64_Math_sin" private : Real64.t -> Real64.t; val sinh = _import "Real64_Math_sinh" private : Real64.t -> Real64.t; val sqrt = _import "Real64_Math_sqrt" private : Real64.t -> Real64.t; val tan = _import "Real64_Math_tan" private : Real64.t -> Real64.t; val tanh = _import "Real64_Math_tanh" private : Real64.t -> Real64.t; end val modf = _import "Real64_modf" private : Real64.t * (Real64.t) ref -> Real64.t; val move = _import "Real64_move" private : (Real64.t) ref * (Real64.t) ref -> unit; val mul = _import "Real64_mul" private : Real64.t * Real64.t -> Real64.t; val muladd = _import "Real64_muladd" private : Real64.t * Real64.t * Real64.t -> Real64.t; val mulsub = _import "Real64_mulsub" private : Real64.t * Real64.t * Real64.t -> Real64.t; val neg = _import "Real64_neg" private : Real64.t -> Real64.t; val realCeil = _import "Real64_realCeil" private : Real64.t -> Real64.t; val realFloor = _import "Real64_realFloor" private : Real64.t -> Real64.t; val realTrunc = _import "Real64_realTrunc" private : Real64.t -> Real64.t; val rndToReal32 = _import "Real64_rndToReal32" private : Real64.t -> Real32.t; val rndToReal64 = _import "Real64_rndToReal64" private : Real64.t -> Real64.t; val rndToWordS16 = _import "Real64_rndToWordS16" private : Real64.t -> Int16.t; val rndToWordS32 = _import "Real64_rndToWordS32" private : Real64.t -> Int32.t; val rndToWordS64 = _import "Real64_rndToWordS64" private : Real64.t -> Int64.t; val rndToWordS8 = _import "Real64_rndToWordS8" private : Real64.t -> Int8.t; val rndToWordU16 = _import "Real64_rndToWordU16" private : Real64.t -> Word16.t; val rndToWordU32 = _import "Real64_rndToWordU32" private : Real64.t -> Word32.t; val rndToWordU64 = _import "Real64_rndToWordU64" private : Real64.t -> Word64.t; val rndToWordU8 = _import "Real64_rndToWordU8" private : Real64.t -> Word8.t; val round = _import "Real64_round" private : Real64.t -> Real64.t; val store = _import "Real64_store" private : (Real64.t) ref * Real64.t -> unit; val strtor = _import "Real64_strtor" private : NullString8.t * C_Int.t -> Real64.t; val sub = _import "Real64_sub" private : Real64.t * Real64.t -> Real64.t; end structure Socket = struct val accept = _import "Socket_accept" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t; structure AF = struct val INET = _const "Socket_AF_INET" : C_Int.t; val INET6 = _const "Socket_AF_INET6" : C_Int.t; val UNIX = _const "Socket_AF_UNIX" : C_Int.t; val UNSPEC = _const "Socket_AF_UNSPEC" : C_Int.t; end val bind = _import "Socket_bind" private : C_Sock.t * (Word8.t) vector * C_Socklen.t -> (C_Int.t) C_Errno.t; val close = _import "Socket_close" private : C_Sock.t -> (C_Int.t) C_Errno.t; val connect = _import "Socket_connect" private : C_Sock.t * (Word8.t) vector * C_Socklen.t -> (C_Int.t) C_Errno.t; structure Ctl = struct val getATMARK = _import "Socket_Ctl_getATMARK" private : C_Sock.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t; val getNREAD = _import "Socket_Ctl_getNREAD" private : C_Sock.t * (C_Int.t) ref -> (C_Int.t) C_Errno.t; val getPeerName = _import "Socket_Ctl_getPeerName" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t; val getSockName = _import "Socket_Ctl_getSockName" private : C_Sock.t * (Word8.t) array * (C_Socklen.t) ref -> (C_Int.t) C_Errno.t; 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; 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; 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; 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; val SO_ACCEPTCONN = _const "Socket_Ctl_SO_ACCEPTCONN" : C_Int.t; val SO_BROADCAST = _const "Socket_Ctl_SO_BROADCAST" : C_Int.t; val SO_DEBUG = _const "Socket_Ctl_SO_DEBUG" : C_Int.t; val SO_DONTROUTE = _const "Socket_Ctl_SO_DONTROUTE" : C_Int.t; val SO_ERROR = _const "Socket_Ctl_SO_ERROR" : C_Int.t; val SO_KEEPALIVE = _const "Socket_Ctl_SO_KEEPALIVE" : C_Int.t; val SO_LINGER = _const "Socket_Ctl_SO_LINGER" : C_Int.t; val SO_OOBINLINE = _const "Socket_Ctl_SO_OOBINLINE" : C_Int.t; val SO_RCVBUF = _const "Socket_Ctl_SO_RCVBUF" : C_Int.t; val SO_RCVLOWAT = _const "Socket_Ctl_SO_RCVLOWAT" : C_Int.t; val SO_RCVTIMEO = _const "Socket_Ctl_SO_RCVTIMEO" : C_Int.t; val SO_REUSEADDR = _const "Socket_Ctl_SO_REUSEADDR" : C_Int.t; val SO_SNDBUF = _const "Socket_Ctl_SO_SNDBUF" : C_Int.t; val SO_SNDLOWAT = _const "Socket_Ctl_SO_SNDLOWAT" : C_Int.t; val SO_SNDTIMEO = _const "Socket_Ctl_SO_SNDTIMEO" : C_Int.t; val SO_TYPE = _const "Socket_Ctl_SO_TYPE" : C_Int.t; val SOL_SOCKET = _const "Socket_Ctl_SOL_SOCKET" : C_Int.t; end val familyOfAddr = _import "Socket_familyOfAddr" private : (Word8.t) vector -> C_Int.t; structure GenericSock = struct val socket = _import "Socket_GenericSock_socket" private : C_Int.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t; 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; end val getTimeout_sec = _import "Socket_getTimeout_sec" private : unit -> C_Time.t; val getTimeout_usec = _import "Socket_getTimeout_usec" private : unit -> C_SUSeconds.t; structure INetSock = struct structure Ctl = struct val IPPROTO_TCP = _const "Socket_INetSock_Ctl_IPPROTO_TCP" : C_Int.t; val TCP_NODELAY = _const "Socket_INetSock_Ctl_TCP_NODELAY" : C_Int.t; end val fromAddr = _import "Socket_INetSock_fromAddr" private : (Word8.t) vector -> unit; val getInAddr = _import "Socket_INetSock_getInAddr" private : (Word8.t) array -> unit; val getPort = _import "Socket_INetSock_getPort" private : unit -> Word16.t; val toAddr = _import "Socket_INetSock_toAddr" private : (Word8.t) vector * Word16.t * (Word8.t) array * (C_Socklen.t) ref -> unit; end val listen = _import "Socket_listen" private : C_Sock.t * C_Int.t -> (C_Int.t) C_Errno.t; val MSG_CTRUNC = _const "Socket_MSG_CTRUNC" : C_Int.t; val MSG_DONTROUTE = _const "Socket_MSG_DONTROUTE" : C_Int.t; val MSG_DONTWAIT = _const "Socket_MSG_DONTWAIT" : C_Int.t; val MSG_EOR = _const "Socket_MSG_EOR" : C_Int.t; val MSG_OOB = _const "Socket_MSG_OOB" : C_Int.t; val MSG_PEEK = _const "Socket_MSG_PEEK" : C_Int.t; val MSG_TRUNC = _const "Socket_MSG_TRUNC" : C_Int.t; val MSG_WAITALL = _const "Socket_MSG_WAITALL" : C_Int.t; 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; 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; 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; 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; 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; 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; 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; val setTimeout = _import "Socket_setTimeout" private : C_Time.t * C_SUSeconds.t -> unit; val setTimeoutNull = _import "Socket_setTimeoutNull" private : unit -> unit; val SHUT_RD = _const "Socket_SHUT_RD" : C_Int.t; val SHUT_RDWR = _const "Socket_SHUT_RDWR" : C_Int.t; val SHUT_WR = _const "Socket_SHUT_WR" : C_Int.t; val shutdown = _import "Socket_shutdown" private : C_Sock.t * C_Int.t -> (C_Int.t) C_Errno.t; structure SOCK = struct val DGRAM = _const "Socket_SOCK_DGRAM" : C_Int.t; val RAW = _const "Socket_SOCK_RAW" : C_Int.t; val SEQPACKET = _const "Socket_SOCK_SEQPACKET" : C_Int.t; val STREAM = _const "Socket_SOCK_STREAM" : C_Int.t; end val sockAddrStorageLen = _const "Socket_sockAddrStorageLen" : C_Size.t; structure UnixSock = struct val fromAddr = _import "Socket_UnixSock_fromAddr" private : (Word8.t) vector * (Char8.t) array * C_Size.t -> unit; val pathLen = _import "Socket_UnixSock_pathLen" private : (Word8.t) vector -> C_Size.t; val toAddr = _import "Socket_UnixSock_toAddr" private : NullString8.t * C_Size.t * (Word8.t) array * (C_Socklen.t) ref -> unit; end end structure Stdio = struct val print = _import "Stdio_print" private : String8.t -> unit; val printStderr = _import "Stdio_printStderr" private : String8.t -> unit; val printStdout = _import "Stdio_printStdout" private : String8.t -> unit; end structure Time = struct val getTimeOfDay = _import "Time_getTimeOfDay" private : (C_Time.t) ref * (C_SUSeconds.t) ref -> C_Int.t; end structure Windows = struct structure Process = struct 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; 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; val getexitcode = _import "Windows_Process_getexitcode" private : C_PId.t * (C_Status.t) ref -> (C_Int.t) C_Errno.t; val terminate = _import "Windows_Process_terminate" private : C_PId.t * C_Signal.t -> (C_Int.t) C_Errno.t; end end structure Word16 = struct type t = Word16.t val add = _import "Word16_add" private : Word16.t * Word16.t -> Word16.t; val andb = _import "Word16_andb" private : Word16.t * Word16.t -> Word16.t; val equal = _import "Word16_equal" private : Word16.t * Word16.t -> Bool.t; val lshift = _import "Word16_lshift" private : Word16.t * Word32.t -> Word16.t; val neg = _import "Word16_neg" private : Word16.t -> Word16.t; val notb = _import "Word16_notb" private : Word16.t -> Word16.t; val orb = _import "Word16_orb" private : Word16.t * Word16.t -> Word16.t; val rol = _import "Word16_rol" private : Word16.t * Word32.t -> Word16.t; val ror = _import "Word16_ror" private : Word16.t * Word32.t -> Word16.t; val sub = _import "Word16_sub" private : Word16.t * Word16.t -> Word16.t; val xorb = _import "Word16_xorb" private : Word16.t * Word16.t -> Word16.t; end structure Word32 = struct type t = Word32.t val add = _import "Word32_add" private : Word32.t * Word32.t -> Word32.t; val andb = _import "Word32_andb" private : Word32.t * Word32.t -> Word32.t; val castToReal32 = _import "Word32_castToReal32" private : Word32.t -> Real32.t; val equal = _import "Word32_equal" private : Word32.t * Word32.t -> Bool.t; val lshift = _import "Word32_lshift" private : Word32.t * Word32.t -> Word32.t; val neg = _import "Word32_neg" private : Word32.t -> Word32.t; val notb = _import "Word32_notb" private : Word32.t -> Word32.t; val orb = _import "Word32_orb" private : Word32.t * Word32.t -> Word32.t; val rol = _import "Word32_rol" private : Word32.t * Word32.t -> Word32.t; val ror = _import "Word32_ror" private : Word32.t * Word32.t -> Word32.t; val sub = _import "Word32_sub" private : Word32.t * Word32.t -> Word32.t; val xorb = _import "Word32_xorb" private : Word32.t * Word32.t -> Word32.t; end structure Word64 = struct type t = Word64.t val add = _import "Word64_add" private : Word64.t * Word64.t -> Word64.t; val andb = _import "Word64_andb" private : Word64.t * Word64.t -> Word64.t; val castToReal64 = _import "Word64_castToReal64" private : Word64.t -> Real64.t; val equal = _import "Word64_equal" private : Word64.t * Word64.t -> Bool.t; val fetch = _import "Word64_fetch" private : (Word64.t) ref -> Word64.t; val lshift = _import "Word64_lshift" private : Word64.t * Word32.t -> Word64.t; val move = _import "Word64_move" private : (Word64.t) ref * (Word64.t) ref -> unit; val neg = _import "Word64_neg" private : Word64.t -> Word64.t; val notb = _import "Word64_notb" private : Word64.t -> Word64.t; val orb = _import "Word64_orb" private : Word64.t * Word64.t -> Word64.t; val rol = _import "Word64_rol" private : Word64.t * Word32.t -> Word64.t; val ror = _import "Word64_ror" private : Word64.t * Word32.t -> Word64.t; val store = _import "Word64_store" private : (Word64.t) ref * Word64.t -> unit; val sub = _import "Word64_sub" private : Word64.t * Word64.t -> Word64.t; val xorb = _import "Word64_xorb" private : Word64.t * Word64.t -> Word64.t; end structure Word8 = struct type t = Word8.t val add = _import "Word8_add" private : Word8.t * Word8.t -> Word8.t; val andb = _import "Word8_andb" private : Word8.t * Word8.t -> Word8.t; val equal = _import "Word8_equal" private : Word8.t * Word8.t -> Bool.t; val lshift = _import "Word8_lshift" private : Word8.t * Word32.t -> Word8.t; val neg = _import "Word8_neg" private : Word8.t -> Word8.t; val notb = _import "Word8_notb" private : Word8.t -> Word8.t; val orb = _import "Word8_orb" private : Word8.t * Word8.t -> Word8.t; val rol = _import "Word8_rol" private : Word8.t * Word32.t -> Word8.t; val ror = _import "Word8_ror" private : Word8.t * Word32.t -> Word8.t; val sub = _import "Word8_sub" private : Word8.t * Word8.t -> Word8.t; val xorb = _import "Word8_xorb" private : Word8.t * Word8.t -> Word8.t; end structure WordS16 = struct val addCheckOverflows = _import "WordS16_addCheckOverflows" private : Int16.t * Int16.t -> Bool.t; val extdToWord16 = _import "WordS16_extdToWord16" private : Int16.t -> Word16.t; val extdToWord32 = _import "WordS16_extdToWord32" private : Int16.t -> Word32.t; val extdToWord64 = _import "WordS16_extdToWord64" private : Int16.t -> Word64.t; val extdToWord8 = _import "WordS16_extdToWord8" private : Int16.t -> Word8.t; val ge = _import "WordS16_ge" private : Int16.t * Int16.t -> Bool.t; val gt = _import "WordS16_gt" private : Int16.t * Int16.t -> Bool.t; val le = _import "WordS16_le" private : Int16.t * Int16.t -> Bool.t; val lt = _import "WordS16_lt" private : Int16.t * Int16.t -> Bool.t; val mul = _import "WordS16_mul" private : Int16.t * Int16.t -> Int16.t; val mulCheckOverflows = _import "WordS16_mulCheckOverflows" private : Int16.t * Int16.t -> Bool.t; val negCheckOverflows = _import "WordS16_negCheckOverflows" private : Int16.t -> Bool.t; val quot = _import "WordS16_quot" private : Int16.t * Int16.t -> Int16.t; val rem = _import "WordS16_rem" private : Int16.t * Int16.t -> Int16.t; val rndToReal32 = _import "WordS16_rndToReal32" private : Int16.t -> Real32.t; val rndToReal64 = _import "WordS16_rndToReal64" private : Int16.t -> Real64.t; val rshift = _import "WordS16_rshift" private : Int16.t * Word32.t -> Int16.t; val subCheckOverflows = _import "WordS16_subCheckOverflows" private : Int16.t * Int16.t -> Bool.t; end structure WordS32 = struct val addCheckOverflows = _import "WordS32_addCheckOverflows" private : Int32.t * Int32.t -> Bool.t; val extdToWord16 = _import "WordS32_extdToWord16" private : Int32.t -> Word16.t; val extdToWord32 = _import "WordS32_extdToWord32" private : Int32.t -> Word32.t; val extdToWord64 = _import "WordS32_extdToWord64" private : Int32.t -> Word64.t; val extdToWord8 = _import "WordS32_extdToWord8" private : Int32.t -> Word8.t; val ge = _import "WordS32_ge" private : Int32.t * Int32.t -> Bool.t; val gt = _import "WordS32_gt" private : Int32.t * Int32.t -> Bool.t; val le = _import "WordS32_le" private : Int32.t * Int32.t -> Bool.t; val lt = _import "WordS32_lt" private : Int32.t * Int32.t -> Bool.t; val mul = _import "WordS32_mul" private : Int32.t * Int32.t -> Int32.t; val mulCheckOverflows = _import "WordS32_mulCheckOverflows" private : Int32.t * Int32.t -> Bool.t; val negCheckOverflows = _import "WordS32_negCheckOverflows" private : Int32.t -> Bool.t; val quot = _import "WordS32_quot" private : Int32.t * Int32.t -> Int32.t; val rem = _import "WordS32_rem" private : Int32.t * Int32.t -> Int32.t; val rndToReal32 = _import "WordS32_rndToReal32" private : Int32.t -> Real32.t; val rndToReal64 = _import "WordS32_rndToReal64" private : Int32.t -> Real64.t; val rshift = _import "WordS32_rshift" private : Int32.t * Word32.t -> Int32.t; val subCheckOverflows = _import "WordS32_subCheckOverflows" private : Int32.t * Int32.t -> Bool.t; end structure WordS64 = struct val addCheckOverflows = _import "WordS64_addCheckOverflows" private : Int64.t * Int64.t -> Bool.t; val extdToWord16 = _import "WordS64_extdToWord16" private : Int64.t -> Word16.t; val extdToWord32 = _import "WordS64_extdToWord32" private : Int64.t -> Word32.t; val extdToWord64 = _import "WordS64_extdToWord64" private : Int64.t -> Word64.t; val extdToWord8 = _import "WordS64_extdToWord8" private : Int64.t -> Word8.t; val ge = _import "WordS64_ge" private : Int64.t * Int64.t -> Bool.t; val gt = _import "WordS64_gt" private : Int64.t * Int64.t -> Bool.t; val le = _import "WordS64_le" private : Int64.t * Int64.t -> Bool.t; val lt = _import "WordS64_lt" private : Int64.t * Int64.t -> Bool.t; val mul = _import "WordS64_mul" private : Int64.t * Int64.t -> Int64.t; val mulCheckOverflows = _import "WordS64_mulCheckOverflows" private : Int64.t * Int64.t -> Bool.t; val negCheckOverflows = _import "WordS64_negCheckOverflows" private : Int64.t -> Bool.t; val quot = _import "WordS64_quot" private : Int64.t * Int64.t -> Int64.t; val rem = _import "WordS64_rem" private : Int64.t * Int64.t -> Int64.t; val rndToReal32 = _import "WordS64_rndToReal32" private : Int64.t -> Real32.t; val rndToReal64 = _import "WordS64_rndToReal64" private : Int64.t -> Real64.t; val rshift = _import "WordS64_rshift" private : Int64.t * Word32.t -> Int64.t; val subCheckOverflows = _import "WordS64_subCheckOverflows" private : Int64.t * Int64.t -> Bool.t; end structure WordS8 = struct val addCheckOverflows = _import "WordS8_addCheckOverflows" private : Int8.t * Int8.t -> Bool.t; val extdToWord16 = _import "WordS8_extdToWord16" private : Int8.t -> Word16.t; val extdToWord32 = _import "WordS8_extdToWord32" private : Int8.t -> Word32.t; val extdToWord64 = _import "WordS8_extdToWord64" private : Int8.t -> Word64.t; val extdToWord8 = _import "WordS8_extdToWord8" private : Int8.t -> Word8.t; val ge = _import "WordS8_ge" private : Int8.t * Int8.t -> Bool.t; val gt = _import "WordS8_gt" private : Int8.t * Int8.t -> Bool.t; val le = _import "WordS8_le" private : Int8.t * Int8.t -> Bool.t; val lt = _import "WordS8_lt" private : Int8.t * Int8.t -> Bool.t; val mul = _import "WordS8_mul" private : Int8.t * Int8.t -> Int8.t; val mulCheckOverflows = _import "WordS8_mulCheckOverflows" private : Int8.t * Int8.t -> Bool.t; val negCheckOverflows = _import "WordS8_negCheckOverflows" private : Int8.t -> Bool.t; val quot = _import "WordS8_quot" private : Int8.t * Int8.t -> Int8.t; val rem = _import "WordS8_rem" private : Int8.t * Int8.t -> Int8.t; val rndToReal32 = _import "WordS8_rndToReal32" private : Int8.t -> Real32.t; val rndToReal64 = _import "WordS8_rndToReal64" private : Int8.t -> Real64.t; val rshift = _import "WordS8_rshift" private : Int8.t * Word32.t -> Int8.t; val subCheckOverflows = _import "WordS8_subCheckOverflows" private : Int8.t * Int8.t -> Bool.t; end structure WordU16 = struct val addCheckOverflows = _import "WordU16_addCheckOverflows" private : Word16.t * Word16.t -> Bool.t; val extdToWord16 = _import "WordU16_extdToWord16" private : Word16.t -> Word16.t; val extdToWord32 = _import "WordU16_extdToWord32" private : Word16.t -> Word32.t; val extdToWord64 = _import "WordU16_extdToWord64" private : Word16.t -> Word64.t; val extdToWord8 = _import "WordU16_extdToWord8" private : Word16.t -> Word8.t; val ge = _import "WordU16_ge" private : Word16.t * Word16.t -> Bool.t; val gt = _import "WordU16_gt" private : Word16.t * Word16.t -> Bool.t; val le = _import "WordU16_le" private : Word16.t * Word16.t -> Bool.t; val lt = _import "WordU16_lt" private : Word16.t * Word16.t -> Bool.t; val mul = _import "WordU16_mul" private : Word16.t * Word16.t -> Word16.t; val mulCheckOverflows = _import "WordU16_mulCheckOverflows" private : Word16.t * Word16.t -> Bool.t; val quot = _import "WordU16_quot" private : Word16.t * Word16.t -> Word16.t; val rem = _import "WordU16_rem" private : Word16.t * Word16.t -> Word16.t; val rndToReal32 = _import "WordU16_rndToReal32" private : Word16.t -> Real32.t; val rndToReal64 = _import "WordU16_rndToReal64" private : Word16.t -> Real64.t; val rshift = _import "WordU16_rshift" private : Word16.t * Word32.t -> Word16.t; end structure WordU32 = struct val addCheckOverflows = _import "WordU32_addCheckOverflows" private : Word32.t * Word32.t -> Bool.t; val extdToWord16 = _import "WordU32_extdToWord16" private : Word32.t -> Word16.t; val extdToWord32 = _import "WordU32_extdToWord32" private : Word32.t -> Word32.t; val extdToWord64 = _import "WordU32_extdToWord64" private : Word32.t -> Word64.t; val extdToWord8 = _import "WordU32_extdToWord8" private : Word32.t -> Word8.t; val ge = _import "WordU32_ge" private : Word32.t * Word32.t -> Bool.t; val gt = _import "WordU32_gt" private : Word32.t * Word32.t -> Bool.t; val le = _import "WordU32_le" private : Word32.t * Word32.t -> Bool.t; val lt = _import "WordU32_lt" private : Word32.t * Word32.t -> Bool.t; val mul = _import "WordU32_mul" private : Word32.t * Word32.t -> Word32.t; val mulCheckOverflows = _import "WordU32_mulCheckOverflows" private : Word32.t * Word32.t -> Bool.t; val quot = _import "WordU32_quot" private : Word32.t * Word32.t -> Word32.t; val rem = _import "WordU32_rem" private : Word32.t * Word32.t -> Word32.t; val rndToReal32 = _import "WordU32_rndToReal32" private : Word32.t -> Real32.t; val rndToReal64 = _import "WordU32_rndToReal64" private : Word32.t -> Real64.t; val rshift = _import "WordU32_rshift" private : Word32.t * Word32.t -> Word32.t; end structure WordU64 = struct val addCheckOverflows = _import "WordU64_addCheckOverflows" private : Word64.t * Word64.t -> Bool.t; val extdToWord16 = _import "WordU64_extdToWord16" private : Word64.t -> Word16.t; val extdToWord32 = _import "WordU64_extdToWord32" private : Word64.t -> Word32.t; val extdToWord64 = _import "WordU64_extdToWord64" private : Word64.t -> Word64.t; val extdToWord8 = _import "WordU64_extdToWord8" private : Word64.t -> Word8.t; val ge = _import "WordU64_ge" private : Word64.t * Word64.t -> Bool.t; val gt = _import "WordU64_gt" private : Word64.t * Word64.t -> Bool.t; val le = _import "WordU64_le" private : Word64.t * Word64.t -> Bool.t; val lt = _import "WordU64_lt" private : Word64.t * Word64.t -> Bool.t; val mul = _import "WordU64_mul" private : Word64.t * Word64.t -> Word64.t; val mulCheckOverflows = _import "WordU64_mulCheckOverflows" private : Word64.t * Word64.t -> Bool.t; val quot = _import "WordU64_quot" private : Word64.t * Word64.t -> Word64.t; val rem = _import "WordU64_rem" private : Word64.t * Word64.t -> Word64.t; val rndToReal32 = _import "WordU64_rndToReal32" private : Word64.t -> Real32.t; val rndToReal64 = _import "WordU64_rndToReal64" private : Word64.t -> Real64.t; val rshift = _import "WordU64_rshift" private : Word64.t * Word32.t -> Word64.t; end structure WordU8 = struct val addCheckOverflows = _import "WordU8_addCheckOverflows" private : Word8.t * Word8.t -> Bool.t; val extdToWord16 = _import "WordU8_extdToWord16" private : Word8.t -> Word16.t; val extdToWord32 = _import "WordU8_extdToWord32" private : Word8.t -> Word32.t; val extdToWord64 = _import "WordU8_extdToWord64" private : Word8.t -> Word64.t; val extdToWord8 = _import "WordU8_extdToWord8" private : Word8.t -> Word8.t; val ge = _import "WordU8_ge" private : Word8.t * Word8.t -> Bool.t; val gt = _import "WordU8_gt" private : Word8.t * Word8.t -> Bool.t; val le = _import "WordU8_le" private : Word8.t * Word8.t -> Bool.t; val lt = _import "WordU8_lt" private : Word8.t * Word8.t -> Bool.t; val mul = _import "WordU8_mul" private : Word8.t * Word8.t -> Word8.t; val mulCheckOverflows = _import "WordU8_mulCheckOverflows" private : Word8.t * Word8.t -> Bool.t; val quot = _import "WordU8_quot" private : Word8.t * Word8.t -> Word8.t; val rem = _import "WordU8_rem" private : Word8.t * Word8.t -> Word8.t; val rndToReal32 = _import "WordU8_rndToReal32" private : Word8.t -> Real32.t; val rndToReal64 = _import "WordU8_rndToReal64" private : Word8.t -> Real64.t; val rshift = _import "WordU8_rshift" private : Word8.t * Word32.t -> Word8.t; end end end