def drop

bend-collections-laws-crypto@1.0.0.0 · spec/lib/common.bend:163

import Base

163def drop(-A: Data, xs: List<&2, A>, n: Nat) -> List<&2, A>:
164  match xs n:
165    case Nil{} _:
166      Nil{}
167    case Con{h, t} 0n:
168      Con{h, t}
169    case Con{h, t} 1n+p:
170      drop(A, t, p)