def Octets.take

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

import Base

617def Octets.take(n: Nat, o: Octets) -> Octets:
618  match o:
619    case Octets{ws}:
620      Octets{w8s.take.fast(n, ws)}