def push

bend-lint-rules@0.2.0.0 · layout/format.bend:1831

import Base

1831# Printer
1832# -------
1833# Jobs for a Cat's docs, last first, so its first doc ends on top.
1834def push(docs: List<&2, Doc>, +indent: U32, +flat: Bool, jobs: List<&2, Job>) -> List<&2, Job>:
1835  match docs:
1836    case Nil{}:
1837      jobs
1838    case Con{d, rest}:
1839      push(rest, indent, flat, Con{Job{d, indent, flat}, jobs})