Commands.rows.get: def of bend-kit-commands@0.4.0.0
Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands
Lines 253-262 of bend-kit-commands@0.4.0.0/commands.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-commands@0.4.0.0/commands.bend&start_line=253&end_line=262

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

# One row for each key, in order.
def rows.get(ks: List<Bytes.Bytes>, +read: U32) -> Run(List<Row>):
  match ks:
    case Nil{}:
      Run.pure(List<Row>, Nil{})
    case Con{k, rest}:
      do Run<List<Row>>:
        r : Row <- row.at(read, Bytes.clone(k))
        rs : List<Row> <- rows.get(rest, read)
        return Con{r, rs}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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-bytes@0.3.3.0/bytes.bend&name=clone
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Row
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Run.bind
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Run.pure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=row.at