def Octets.slice

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

import Base

627# the n bytes at offset i (fewer if o ends first)
628def Octets.slice(+i: Nat, n: Nat, o: Octets) -> Octets:
629  Octets.take(n, Octets.drop(i, o))