def take_pick

cswap-bend-cli@0.1.0.0 · tui/fmt.bend:96

import Base

96def take_pick(+over: Bool, +s: Seg, +n: Nat, +rest: List<&2, Seg>) -> List<&2, Seg>:
97  match over:
98    case True{}:
99      Con{cut(s, n), Nil{}}
100    case False{}:
101      Con{s, rest}