def flat_then
import bend-lint-rules@0.2.0.0/layout/format.bend as Formatimport Base
1308# The Flat of a doc a, then of what follows it.
1309def flat_then(a: Flat, rest: Flat) -> Flat:
1310 match a rest:
1311 case Flat{w, True{}} r:
1312 Flat{w, True{}}
1313 case Flat{w, False{}} Flat{v, b}:
1314 Flat{(w + v: U32), b}