Toml.seg.done: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/toml/toml.bend as Toml
Lines 79-81 of ezx@1.11.0.0/src/toml/toml.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/toml/toml.bend&start_line=79&end_line=81

import Base

# the segment gathered so far, in order
def seg.done(cur: List<&2, Char>) -> String:
  seg.chars(cur, "")

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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/toml/toml.bend&name=seg.chars