Encode.arr.pick: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
Lines 241-250 of bend-toon-codec@0.1.0.0/src/encode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&start_line=241&end_line=250

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/rep.bend as R

def arr.pick(+empty: Bool, +prims: Bool, +tab: Bool, +items: J.Json, +d: Delim, +ls: R.Rep) -> R.Rep:
  match empty prims tab:
    case True{} _ _:
      R.REmpty{}
    case False{} True{} _:
      R.RArr{head(items, d) ++ ": " ++ join.prims(items, d), Nil{}}
    case False{} False{} True{}:
      tab.rep(items, d)
    case False{} False{} False{}:
      R.RArr{head(items, d) ++ ":", R.shift(R.lines.of(ls))}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=Delim
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=head
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=join.prims
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=tab.rep
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=Rep
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=lines.of
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=shift