Plan.names.once: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 1243-1249 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=1243&end_line=1249

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

# every name of a list once, each where it first stands
def names.once(nvs: List<&2, String>, +seen: List<&2, String>) -> List<&2, String>:
  match nvs:
    case []:
      []
    case +h <> t:
      names.once.put(L.seen.holds(seen, h), h, names.once(t, h <> seen))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=seen.holds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.once.put