Format.flat_then: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/layout/format.bend as Format
Lines 1308-1314 of bend-lint-rules@0.2.0.0/layout/format.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&start_line=1308&end_line=1314

import Base

# The Flat of a doc a, then of what follows it.
def flat_then(a: Flat, rest: Flat) -> Flat:
  match a rest:
    case Flat{w, True{}} r:
      Flat{w, True{}}
    case Flat{w, False{}} Flat{v, b}:
      Flat{(w + v: U32), b}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=Flat