~/jendhub

def drop.n

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

import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
import Base

69def drop.n(k: Nat, xs: List<&2, U32>) -> List<&2, U32>:
70  match k:
71    case 0n:
72      xs
73    case 1n+p:
74      match xs:
75        case Nil{}:
76          Nil{}
77        case Con{h, t}:
78          drop.n(p, t)

Uses (3)

Used by (1)