def seen_names

cswap-bend-cli@0.1.0.0 · daemon/tick.bend:331

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G
import cswap-bend-cli@0.1.0.0/daemon/view.bend as V

331def seen_names(+es: List<&2, G.Ent>, +us: List<&2, T.Usage>) -> List<&2, String>:
332  match es:
333    case Nil{}:
334      []
335    case Con{e, t}:
336      List.append(&2, String, names_of(V.usage_for(us, V.slot_nat_of(V.ent_slot(e)))), seen_names(t, us))