def read.fin

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml

import Base

4701# the document at the end of the text
4702def read.fin(st: St) -> Doc:
4703  read.fin2(read.fin.close(st))

Uses (4)