Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature UNIX_SOCK = |
2 | sig | |
3 | type unix | |
4 | type 'sock_type sock = (unix, 'sock_type) Socket.sock | |
5 | type 'mode stream_sock = 'mode Socket.stream sock | |
6 | type dgram_sock = Socket.dgram sock | |
7 | type sock_addr = unix Socket.sock_addr | |
8 | val unixAF: Socket.AF.addr_family | |
9 | val toAddr: string -> sock_addr | |
10 | val fromAddr: sock_addr -> string | |
11 | structure Strm : | |
12 | sig | |
13 | val socket: unit -> 'mode stream_sock | |
14 | val socketPair: unit -> 'mode stream_sock * 'mode stream_sock | |
15 | end | |
16 | structure DGrm : | |
17 | sig | |
18 | val socket: unit -> dgram_sock | |
19 | val socketPair: unit -> dgram_sock * dgram_sock | |
20 | end | |
21 | end |