def List.drop

Base · base.bend:1019

1019def List.drop(a, -A: Kind(a), xs: List<a, A>, n: Nat) -> List<a, A>:
1020  match xs n:
1021    case Nil{} _:
1022      Nil{}
1023    case h <> t 0n:
1024      h <> t
1025    case h <> t 1n+p:
1026      List.drop(a, A, t, p)