def nums_json

cswap-bend-cli@0.1.0.0 · store/seq.bend:172

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

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