Redis.bulks: def of bend-kit-redis@0.3.0.0 Import: import bend-kit-redis@0.3.0.0/redis.bend as Redis Lines 222-227 of bend-kit-redis@0.3.0.0/redis.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-redis@0.3.0.0/redis.bend&start_line=222&end_line=227 import Base import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes def bulks(xs: List<&1, Bytes.Bytes>) -> List<&1, Val>: match xs: case Nil{}: Nil{} case Con{h, t}: Con{Bulk{h}, bulks(t)} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=Val