def ls.drop

emerging-ezaudio@0.4.0.0 · main.bend:102

import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio

import Base

102def ls.drop(hop: Nat, xs: List<&2, U32>) -> List<&2, U32>:
103  match hop:
104    case 0n:
105      xs
106    case 1n+p:
107      match xs:
108        case Nil{}:
109          []
110        case _hd <> tl:
111          ls.drop(p, tl)

Uses (3)

Used by (1)

emerging-ezaudio@0.4.0.0/main:ls.slice