Socket Initialization #
This module automatically initializes the socket environment, and users need not care about it. To initialization the environment, two steps are required:
- Register external classes like
Socket
andSockAddr
- Call platform specific startup code.
- Register platform specific cleanup code.
@[extern lean_socket_initialize]
The initialization function. Users shouldn't call this.