def Octets.split_at

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

import Base

642# the first n bytes and the rest, or None if o has fewer than n bytes
643def Octets.split_at(+n: Nat, +o: Octets) -> Maybe<&2, OctetsSplit>:
644  Octets.split_at.pick(Nat.is_le(n, Octets.len(o)), n, o)