Tick.seen_names: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tick
Lines 331-336 of cswap-bend-cli@0.1.0.0/daemon/tick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&start_line=331&end_line=336

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

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/gather.bend&name=Ent
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=names_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/view.bend&name=ent_slot
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/view.bend&name=slot_nat_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/view.bend&name=usage_for
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage