def socket.read
import bend-kit-stream@0.3.1.0/stream.bend as Streamimport Base
67def socket.read(source: Socket, max: U32, tls: Bool, ms: U32) ->
68 IO(Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>):
69 socket.read.tls(tls, source, max, ms)