Seq.nums_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
Lines 124-130 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=124&end_line=130

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

# The slot numbers listed in `sequence`.
def nums_of(+items: Json.Json) -> List<&2, U32>:
  match items:
    case Json.JCons{h, t}:
      num_of(Json.as_u32(h), nums_of(t))
    case _:
      []

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=as_u32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=num_of