| 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 |