TCB.UnixSourcetype error = Unix.error = | E2BIGArgument list too long
*)| EACCESPermission denied
*)| EAGAINResource temporarily unavailable; try again
*)| EBADFBad file descriptor
*)| EBUSYResource unavailable
*)| ECHILDNo child process
*)| EDEADLKResource deadlock would occur
*)| EDOMDomain error for math functions, etc.
*)| EEXISTFile exists
*)| EFAULTBad address
*)| EFBIGFile too large
*)| EINTRFunction interrupted by signal
*)| EINVALInvalid argument
*)| EIOHardware I/O error
*)| EISDIRIs a directory
*)| EMFILEToo many open files by the process
*)| EMLINKToo many links
*)| ENAMETOOLONGFilename too long
*)| ENFILEToo many open files in the system
*)| ENODEVNo such device
*)| ENOENTNo such file or directory
*)| ENOEXECNot an executable file
*)| ENOLCKNo locks available
*)| ENOMEMNot enough memory
*)| ENOSPCNo space left on device
*)| ENOSYSFunction not supported
*)| ENOTDIRNot a directory
*)| ENOTEMPTYDirectory not empty
*)| ENOTTYInappropriate I/O control operation
*)| ENXIONo such device or address
*)| EPERMOperation not permitted
*)| EPIPEBroken pipe
*)| ERANGEResult too large
*)| EROFSRead-only file system
*)| ESPIPEInvalid seek e.g. on a pipe
*)| ESRCHNo such process
*)| EXDEVInvalid link
*)| EWOULDBLOCKOperation would block
*)| EINPROGRESSOperation now in progress
*)| EALREADYOperation already in progress
*)| ENOTSOCKSocket operation on non-socket
*)| EDESTADDRREQDestination address required
*)| EMSGSIZEMessage too long
*)| EPROTOTYPEProtocol wrong type for socket
*)| ENOPROTOOPTProtocol not available
*)| EPROTONOSUPPORTProtocol not supported
*)| ESOCKTNOSUPPORTSocket type not supported
*)| EOPNOTSUPPOperation not supported on socket
*)| EPFNOSUPPORTProtocol family not supported
*)| EAFNOSUPPORTAddress family not supported by protocol family
*)| EADDRINUSEAddress already in use
*)| EADDRNOTAVAILCan't assign requested address
*)| ENETDOWNNetwork is down
*)| ENETUNREACHNetwork is unreachable
*)| ENETRESETNetwork dropped connection on reset
*)| ECONNABORTEDSoftware caused connection abort
*)| ECONNRESETConnection reset by peer
*)| ENOBUFSNo buffer space available
*)| EISCONNSocket is already connected
*)| ENOTCONNSocket is not connected
*)| ESHUTDOWNCan't send after socket shutdown
*)| ETOOMANYREFSToo many references: can't splice
*)| ETIMEDOUTConnection timed out
*)| ECONNREFUSEDConnection refused
*)| EHOSTDOWNHost is down
*)| EHOSTUNREACHNo route to host
*)| ELOOPToo many levels of symbolic links
*)| EOVERFLOWFile size or position not representable
*)| EUNKNOWNERR of intUnknown error
*)type open_flag = Unix.open_flag = | O_RDONLYOpen for reading
*)| O_WRONLYOpen for writing
*)| O_RDWROpen for reading and writing
*)| O_NONBLOCKOpen in non-blocking mode
*)| O_APPENDOpen for append
*)| O_CREATCreate if nonexistent
*)| O_TRUNCTruncate to 0 length if existing
*)| O_EXCLFail if existing
*)| O_NOCTTYDon't make this dev a controlling tty
*)| O_DSYNC| O_SYNC| O_RSYNC| O_SHARE_DELETE| O_CLOEXEC| O_KEEPEXECtype stats = Unix.stats = {st_dev : int;Device number
*)st_ino : int;Inode number
*)st_kind : file_kind;Kind of the file
*)st_perm : file_perm;Access rights
*)st_nlink : int;Number of links
*)st_uid : int;User id of the owner
*)st_gid : int;Group ID of the file's group
*)st_rdev : int;Device ID (if special file)
*)st_size : int;Size in bytes
*)st_atime : float;Last access time
*)st_mtime : float;Last modification time
*)st_ctime : float;Last status change time
*)}type tm = Unix.tm = {tm_sec : int;Seconds 0..60
*)tm_min : int;Minutes 0..59
*)tm_hour : int;Hours 0..23
*)tm_mday : int;Day of month 1..31
*)tm_mon : int;Month of year 0..11
*)tm_year : int;Year - 1900
*)tm_wday : int;Day of week (Sunday is 0)
*)tm_yday : int;Day of year 0..365
*)tm_isdst : bool;Daylight time savings in effect
*)}