def Octets.drop

bend-osdev-bytes@0.1.1.1 · bytes.bend:622

import Base

622def Octets.drop(n: Nat, o: Octets) -> Octets:
623  match o:
624    case Octets{ws}:
625      Octets{w8s.drop(n, ws)}