Format.drop_parts: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/layout/format.bend as Format
Lines 1693-1701 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=1693&end_line=1701

import Base

# Drops the trailing parts that hold only newlines, keeping one part.
def drop_parts(parts: List<&2, Part>, go: Bool) -> List<&2, Part>:
  match parts go:
    case Con{p, +rest} True{}:
      drop_parts(rest, should_drop(rest))
    case ps False{}:
      ps
    case Nil{} _:
      Nil{}

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=List
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=Part
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=should_drop