def pop_levels

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

import Base

1454def pop_levels(levels: List<&2, U32>, +col: U32, go: Bool) -> List<&2, U32>:
1455  match levels go:
1456    case Con{top, +more} True{}:
1457      pop_levels(more, col, should_pop(more, col))
1458    case Con{top, more} False{}:
1459      Con{top, more}
1460    case Nil{} _:
1461      Nil{}