Test.done: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/test.bend as Test
Lines 97-100 of ezx@1.11.0.0/src/ez/test.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/test.bend&start_line=97&end_line=100

import Base

# what a whole run amounts to
def done(score: Tally) -> IO(Unit):
  Tally{p, n} = score
  done.go(p, n)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/test.bend&name=Tally
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/test.bend&name=done.go