def view_width

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

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

128def view_width(+v: M.View) -> U32:
129  match v:
130    case M.View{w, c}:
131      w