EmergingEztoml.read.fin.ok: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 4680-4692 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=4680&end_line=4692

import Base

# the states that may end a document
def read.fin.ok(lex: Lex, st: St) -> Doc:
  match lex:
    case LTop{}:
      read.fin.doc(st)
    case LLine{}:
      read.fin.doc(st)
    case LCom{}:
      read.fin.com.st(st)
    case LSink{}:
      read.fin.doc(st)
    case _:
      read.fin.bad(st)

Uses (6):
  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=Lex
  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.bad
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fin.com.st
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fin.doc