def read.fin.end

emerging-eztoml@0.9.0.0 · main.bend:4649

import Base

4649# a comment may end a document only where the line already could
4650def read.fin.end(lex: Lex) -> Bool:
4651  match lex:
4652    case LTop{}:
4653      True{}
4654    case LLine{}:
4655      True{}
4656    case LSink{}:
4657      True{}
4658    case _:
4659      False{}