def seg.fin

ezx@1.11.0.0 · src/toml/toml.bend:106

import ezx@1.11.0.0/src/toml/toml.bend as Toml
import Base

106# the segment still being gathered, closed, and the rest put back in order
107def seg.fin(st: Split) -> List<&2, String>:
108  Split{_quoted, cur, out} = st
109  List.reverse(&2, String, seg.done(cur) <> out)

Uses (5)

Used by (1)