~/jendhub

def head.fin.buf

emerging-eztoml@0.9.0.0 · main.bend:2824

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

2824# the buffer is the last segment when it holds one
2825def head.fin.buf(empty: Bool, st: St) -> St:
2826  match empty:
2827    case True{}:
2828      head.use(st)
2829    case False{}:
2830      head.use(seg.push(st, LTop{}))

Uses (5)

Used by (1)