Seq.nums_json: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
Lines 172-173 of cswap-bend-cli@0.1.0.0/store/seq.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&start_line=172&end_line=173

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def nums_json(+xs: List<&2, U32>) -> Json.Json:
  Json.arr(nums_json2(xs))

Uses (5):
  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=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=arr
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=nums_json2