Module Cf_sock_dgram.ST


module ST: Cf_socket.ST  with type tag_t = [ `SOCK_DGRAM ]
The module defining the SOCK_DGRAM socket type.

type tag_t 
The shadow type.
val socktype : tag_t Cf_socket.socktype_t
The value of the socket type identifier.