def width

cswap-bend-cli@0.1.0.0 · setwrite.bend:263

import cswap-bend-cli@0.1.0.0/setwrite.bend as Setwrite

import Base

263def width(xs: List<&2, String>, acc: Nat) -> Nat:
264  match xs:
265    case Nil{}:
266      acc
267    case Con{h, t}:
268      width(t, Nat.max(acc, String.length(h)))

Uses (5)

Used by (2)