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

import Base

def pop_levels(levels: List<&2, U32>, +col: U32, go: Bool) -> List<&2, U32>:
  match levels go:
    case Con{top, +more} True{}:
      pop_levels(more, col, should_pop(more, col))
    case Con{top, more} False{}:
      Con{top, more}
    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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=should_pop