def split.push

lawful-fields@0.1.1.0 · defs.bend:9

import Base

9def split.push(+c: U32, ps: List<&2, List<&2, U32>>) -> List<&2, List<&2, U32>>:
10  match ps:
11    case Nil{}:
12      [[c]]
13    case Con{h, t}:
14      Con{Con{c, h}, t}