Plasma GitLab Archive
Projects Blog Knowledge

sig
  val restart : ('-> 'b) -> '-> 'b
  val restarting_select :
    Unix.file_descr list ->
    Unix.file_descr list ->
    Unix.file_descr list ->
    float ->
    Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
  val really_write : Unix.file_descr -> string -> int -> int -> unit
  val blocking_read : Unix.file_descr -> string -> int -> int -> int
  val really_read : Unix.file_descr -> string -> int -> int -> unit
  val domain_of_inet_addr : Unix.inet_addr -> Unix.socket_domain
  val int_of_file_descr : Unix.file_descr -> int
  val file_descr_of_int : int -> Unix.file_descr
  external _exit : int -> unit = "netsys__exit"
  external sysconf_open_max : unit -> int = "netsys_sysconf_open_max"
  external getpgid : int -> int = "netsys_getpgid"
  val getpgrp : unit -> int
  external setpgid : int -> int -> unit = "netsys_setpgid"
  val setpgrp : unit -> unit
  external tcgetpgrp : Unix.file_descr -> int = "netsys_tcgetpgrp"
  external tcsetpgrp : Unix.file_descr -> int -> unit = "netsys_tcsetpgrp"
  external ctermid : unit -> string = "netsys_ctermid"
  external ttyname : Unix.file_descr -> string = "netsys_ttyname"
  external getsid : int -> int = "netsys_getsid"
  external setreuid : int -> int -> unit = "netsys_setreuid"
  external setregid : int -> int -> unit = "netsys_setregid"
  external have_posix_shm : unit -> bool = "netsys_have_posix_shm"
  type shm_open_flag =
      SHM_O_RDONLY
    | SHM_O_RDWR
    | SHM_O_CREAT
    | SHM_O_EXCL
    | SHM_O_TRUNC
  external shm_open :
    string -> Netsys.shm_open_flag list -> int -> Unix.file_descr
    = "netsys_shm_open"
  external shm_unlink : string -> unit = "netsys_shm_unlink"
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml