sig
module AF :
sig
type tag = unit
type address
val domain : tag Cf_socket.domain
val to_sockaddr : address -> tag Cf_socket.sockaddr
val of_sockaddr : tag Cf_socket.sockaddr -> address
val unspecified : tag Cf_socket.sockaddr
end
module ST : sig type tag = unit val socktype : tag Cf_socket.socktype end
val protocol : Cf_socket.protocol
end