module UDP: Cf_socket.P with module AF = AF and module ST = Cf_socket.SOCK_DGRAM
Cf_socket.P
with module AF = AF and module ST = Cf_socket.SOCK_DGRAM
module AF: Cf_socket.AF
Cf_socket.AF
module ST: Cf_socket.ST
Cf_socket.ST
val protocol : Cf_socket.protocol
Cf_socket.protocol