def cons_win

cswap-bend-cli@0.1.0.0 · tui/read.bend:54

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

54def cons_win(+m: Maybe<&2, M.Win>, +rest: List<&2, M.Win>) -> List<&2, M.Win>:
55  match m:
56    case None{}:
57      rest
58    case Some{w}:
59      Con{w, rest}