def got.len

bend-kit-redis@0.3.0.0 · redis.bend:755

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

755def got.len(zero: Bool, +tls: Bool, +key: String, +ms: U32, rd: Reader, s: Socket, +len: U32, words: Array<U32>) -> Rd:
756  match zero:
757    case True{}:
758      RFail{tls, s, Closed{}}
759    case False{}:
760      RNext{tls, s, key, ms, next(feed(rd, Bytes.Bytes{len, words}))}