~/jendhub

def deepen

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

import bend-lint-rules@0.2.0.0/layout/format.bend as Format
import Base

1463def deepen(levels: List<&2, U32>, +col: U32) -> List<&2, U32>:
1464  match levels:
1465    case Nil{}:
1466      [col]
1467    case Con{+top, +more}:
1468      Bool.pick(List<&2, U32>, U32.is_gt(col, top), Con{col, Con{top, more}}, Con{top, more})

Uses (4)

Used by (1)