def take.n

bend-kit-zlib@0.5.1.0 · zlib.bend:58

import Base

58def take.n(k: Nat, xs: List<&2, U32>) -> List<&2, U32>:
59  match k:
60    case 0n:
61      Nil{}
62    case 1n+p:
63      match xs:
64        case Nil{}:
65          Nil{}
66        case Con{h, t}:
67          Con{h, take.n(p, t)}