def name.push

bolt@1.27.0.0 · src/syntax/outline.bend:187

import Base

187# a delimiter is not part of the name
188def name.push(stop: Bool, hh: Char, acc: String) -> String:
189  match stop:
190    case True{}:
191      acc
192    case False{}:
193      SCon{hh, acc}