def push_pct

cswap-bend-cli@0.1.0.0 · swpick.bend:173

import Base

173def push_pct(+m: Maybe<&2, U32>, +rest: List<&2, U32>) -> List<&2, U32>:
174  match m:
175    case Some{p}:
176      p <> rest
177    case None{}:
178      rest