Render.width: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/render.bend as Render
Lines 153-158 of cswap-bend-cli@0.1.0.0/render.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/render.bend&start_line=153&end_line=158

import Base

def width(ls: List<&2, Line>, +w: Nat) -> Nat:
  match ls:
    case Nil{}:
      1n+w
    case Con{Line{+l, b}, t}:
      width(t, sel_n(Nat.is_gt(String.length(l), w), String.length(l), w))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=Line
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=sel_n