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