def label_width

cswap-bend-cli@0.1.0.0 · tui/card.bend:69

import Base
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

69def label_width(+ws: List<&2, M.Win>, +acc: Nat) -> Nat:
70  match ws:
71    case Nil{}:
72      acc
73    case Con{w, t}:
74      label_width(t, Nat.max(acc, String.length(M.win_label(w))))