diff options
Diffstat (limited to 'otherlibs/unix/unix.ml')
| -rw-r--r-- | otherlibs/unix/unix.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index f2bdc7b91..5d5fca081 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -385,15 +385,10 @@ type socket_option = external socket : socket_domain -> socket_type -> int -> file_descr = "unix_socket" -external async_socket : socket_domain -> socket_type -> int -> file_descr - = "unix_socket" external socketpair : socket_domain -> socket_type -> int -> file_descr * file_descr = "unix_socketpair" external accept : file_descr -> file_descr * sockaddr = "unix_accept" - -external async_accept : file_descr -> file_descr * sockaddr = "unix_accept" - external bind : file_descr -> sockaddr -> unit = "unix_bind" external connect : file_descr -> sockaddr -> unit = "unix_connect" external listen : file_descr -> int -> unit = "unix_listen" |