~/jendhub

def healed_ids

cswap-bend-cli@0.1.0.0 · collectrun.bend:190

import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
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

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

Uses (6)

Used by (1)