def num_of
import cswap-bend-cli@0.1.0.0/store/seq.bend as Seqimport Base
117def num_of(+m: Maybe<&2, U32>, +rest: List<&2, U32>) -> List<&2, U32>:
118 match m:
119 case None{}:
120 rest
121 case Some{n}:
122 n <> rest
import cswap-bend-cli@0.1.0.0/store/seq.bend as Seqimport Base
117def num_of(+m: Maybe<&2, U32>, +rest: List<&2, U32>) -> List<&2, U32>:
118 match m:
119 case None{}:
120 rest
121 case Some{n}:
122 n <> rest