Importu.scoped.list: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/importu.bend as Importu
Lines 179-184 of cswap-bend-cli@0.1.0.0/importu.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/importu.bend&start_line=179&end_line=184

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

def scoped.list(ls: List<&2, Json.Json>, +i: Nat, +now: U32, +off: U32, acc: Result<&2, &2, String, List<&2, Json.Json>>) -> Result<&2, &2, String, List<&2, Json.Json>>:
  match ls:
    case Nil{}:
      acc
    case Con{+w, t}:
      scoped.list(t, 1n+i, now, off, scoped.add(scoped.entry(window(w, "scoped[" ++ Nat.show(i) ++ "]", now, off), w, "scoped[" ++ Nat.show(i) ++ "]"), acc))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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/importu.bend&name=scoped.add
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/importu.bend&name=scoped.entry
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/importu.bend&name=window
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json