Queue.Queue.done: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/queue.bend as Queue
Lines 212-216 of bend-kube-runtime@0.2.0.0/src/queue.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&start_line=212&end_line=216

import Base

# A run of key ended with an action. The key stops running; a dirty key is
# queued again at once; the action may ask for a timer. A key that is not
# running changes nothing.
def Queue.done(+q: Queue, +key: String, +a: Action) -> Queue & List<&2, Timer>:
  Queue.done.go(q, key, a, Queue.running(q, key))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Action
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Queue
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Queue.done.go
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Queue.running
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Timer