def push_part

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

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F

186def push_part(+p: List<&2, F.Seg>, +rest: List<&2, List<&2, F.Seg>>) -> List<&2, List<&2, F.Seg>>:
187  match p:
188    case Nil{}:
189      rest
190    case _:
191      Con{p, rest}