0 | module Node.Net.Socket.Type 1 | 2 | public export 3 | data SocketType 4 | = TCP 5 | | IPC 6 | 7 |