Documentation

Socket.SockAddr

@[extern lean_sockaddr_family]

Get family of the SockAddr.

@[extern lean_sockaddr_port]

Get family of the SockAddr.

@[extern lean_sockaddr_host]

Get family of the SockAddr.

Equations

Convert SockAddr to String.