def split.fin

lawful-fields@0.1.1.0 · defs.bend:16

import Base

16def split.fin(+c: U32, r: List<&2, List<&2, U32>>, cut: Bool) -> List<&2, List<&2, U32>>:
17  match cut:
18    case False{}:
19      split.push(c, r)
20    case True{}:
21      Con{Nil{}, r}