(*
 * This file was automatically generated by ml-idl
 * (Tue Jul  3 16:34:27 2007)
 *)

signature SML_BASIS = sig
type idl_string = String.string
type ML_word8vec_t = Word8Vector.vector
type ML_word8vec_opt_t = Word8Vector.vector option
type ML_word8arr_t = Word8Array.array
type ML_charvec_t = CharVector.vector
type ML_charvec_opt_t = CharVector.vector option
type ML_chararr_t = CharArray.array
type ML_unit_t = unit
type ML_bool_t = bool
type ML_int_t = int
type ML_int32_t = Int32.int
type ML_string_t = string
type ML_string_opt_t = string option
type ML_string_list_t = string list
type ML_int_opt_t = int option
type ML_iodesc_t = word
type ML_directory_t = Unsafe.Object.object
type Time_t = {seconds:Int32.int,uSeconds:Int32.int}
type ML_polldesc_list_t = (word * word) list
type ML_pollinfo_list_t = (word * word) list
type Date_t = {tm_sec:Int.int,tm_min:Int.int,tm_hour:Int.int,tm_mday:Int.int,tm_mon:Int.int,tm_year:Int.int,tm_wday:Int.int,tm_yday:Int.int,tm_isdst:Int.int}
val TO_NEAREST : Int.int
val TO_NEGINF : Int.int
val TO_POSINF : Int.int
val TO_ZERO : Int.int
val getRoundingMode : unit -> Int.int
val setRoundingMode : Int.int -> unit
val OPEN_RD : Int.int
val OPEN_WR : Int.int
val OPEN_RDWR : Int.int
val OPEN_CREATE : Int.int
val OPEN_TRUNC : Int.int
val OPEN_APPEND : Int.int
val openFile : (ML_string_t * Int.int) -> ML_iodesc_t
val closeFile : ML_iodesc_t -> unit
val cmpIODesc : (ML_iodesc_t * ML_iodesc_t) -> Int.int
val readTextVec : (ML_bool_t * ML_iodesc_t * Int.int) -> ML_charvec_opt_t
val readTextArr : (ML_bool_t * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
val writeTextVec : (ML_bool_t * ML_iodesc_t * ML_charvec_t * Int.int * Int.int) -> ML_int_t
val writeTextArr : (ML_bool_t * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
val readBinVec : (ML_bool_t * ML_iodesc_t * Int.int) -> ML_word8vec_opt_t
val readBinArr : (ML_bool_t * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
val writeBinVec : (ML_bool_t * ML_iodesc_t * ML_word8vec_t * Int.int * Int.int) -> ML_int_t
val writeBinArr : (ML_bool_t * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
val SET_POS_BEGIN : Int.int
val SET_POS_CUR : Int.int
val SET_POS_END : Int.int
val getPos : ML_iodesc_t -> ML_int32_t
val setPos : (ML_iodesc_t * ML_int32_t * Int.int) -> ML_unit_t
val getStdIn : unit -> ML_iodesc_t
val getStdOut : unit -> ML_iodesc_t
val getStdErr : unit -> ML_iodesc_t
val errorName : Int32.int -> ML_string_t
val errorMessage : Int32.int -> ML_string_t
val syserror : String.string -> ML_int_opt_t
val osSystem : String.string -> ML_int_t
val exitProc : Int.int -> unit
val getEnv : String.string -> ML_string_opt_t
val osSleep : Time_t -> unit
val openDir : String.string -> ML_directory_t
val readDir : ML_directory_t -> ML_string_opt_t
val rewindDir : ML_directory_t -> ML_unit_t
val closeDir : ML_directory_t -> ML_unit_t
val chDir : String.string -> ML_unit_t
val getDir : unit -> ML_string_t
val mkDir : String.string -> ML_unit_t
val rmDir : String.string -> ML_unit_t
val isReg : String.string -> ML_bool_t
val isDir : String.string -> ML_bool_t
val isLink : String.string -> ML_bool_t
val readLink : String.string -> ML_string_t
val fileSize : String.string -> ML_int32_t
val modTime : String.string -> ML_int32_t
val setTime : (String.string * Time_t option) -> ML_unit_t
val removeFile : String.string -> ML_unit_t
val renameFile : (String.string * String.string) -> ML_unit_t
val A_READ : Int.int
val A_WRITE : Int.int
val A_EXEC : Int.int
val fileAccess : (String.string * Int.int) -> ML_bool_t
val tmpName : unit -> ML_string_t
val fileId : String.string -> ML_word8vec_t
val IOD_KIND_FILE : Int.int
val IOD_KIND_DIR : Int.int
val IOD_KIND_SYMLINK : Int.int
val IOD_KIND_TTY : Int.int
val IOD_KIND_PIPE : Int.int
val IOD_KIND_SOCKET : Int.int
val IOD_KIND_DEVICE : Int.int
val ioDescKind : ML_iodesc_t -> ML_int_t
val POLL_RD : Word.word
val POLL_WR : Word.word
val POLL_ERR : Word.word
val osPoll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t
val now : unit -> Time_t
val ascTime : Date_t -> ML_string_t
val strfTime : (ML_string_t * Date_t) -> ML_string_t
val gmTime : Time_t -> Date_t
val localTime : Time_t -> Date_t
val mkTime : Date_t -> Time_t
val getCPUTime : unit -> (Time_t * Time_t * Time_t)
val cmdName : unit -> String.string
val cmdArgs : unit -> ML_string_list_t
end