Collectrun.healed_ids: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
Lines 190-195 of cswap-bend-cli@0.1.0.0/collectrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&start_line=190&end_line=195

import Base
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
import cswap-bend-cli@0.1.0.0/collect.bend as Collect

def healed_ids(ss: List<&2, Collect.St>) -> List<&2, Ustore.Id>:
  match ss:
    case Nil{}:
      []
    case Con{+s, t}:
      healed.cons(Collect.st_healed(s), Collect.st_id(s), healed_ids(t))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=st_healed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=st_id
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=healed.cons
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=Id