def nums_of

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

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

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