def w8s.drop

bend-osdev-bytes@0.1.1.0 · bytes.bend:422

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

422def w8s.drop(n: Nat, ws: List<&2, OctByte>) -> List<&2, OctByte>:
423  match n:
424    case 0n:
425      ws
426    case 1n+p:
427      match ws:
428        case Nil{}:
429          Nil{}
430        case Con{h, t}:
431          w8s.drop(p, t)

Uses (3)

Used by (28)