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