EmergingEztoml.read.fin2: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 4694-4699 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=4694&end_line=4699

import Base

# the document once the last token has been closed
def read.fin2(st: St) -> Doc:
  St{bad, rows, heads, here, parts, buf, +lex, back, qkind, stack, hold, uni, left,
    arrtab, lead} = st
  read.fin.ok(lex, St{bad, rows, heads, here, parts, buf, lex, back, qkind, stack, hold,
    uni, left, arrtab, lead})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Doc
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fin.ok