Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature INET_SOCK = |
2 | sig | |
3 | type inet | |
4 | type 'sock_type sock = (inet, 'sock_type) Socket.sock | |
5 | type dgram_sock = Socket.dgram sock | |
6 | type sock_addr = inet Socket.sock_addr | |
7 | type 'mode stream_sock = 'mode Socket.stream sock | |
8 | val inetAF: Socket.AF.addr_family | |
9 | val toAddr: NetHostDB.in_addr * int -> sock_addr | |
10 | val fromAddr: sock_addr -> NetHostDB.in_addr * int | |
11 | val any: int -> sock_addr | |
12 | structure UDP: | |
13 | sig | |
14 | val socket: unit -> dgram_sock | |
15 | val socket': int -> dgram_sock | |
16 | end | |
17 | structure TCP: | |
18 | sig | |
19 | val socket: unit -> 'mode stream_sock | |
20 | val socket': int -> 'mode stream_sock | |
21 | val getNODELAY: 'mode stream_sock -> bool | |
22 | val setNODELAY: 'mode stream_sock * bool -> unit | |
23 | end | |
24 | end |