def Octets.split_at.pick

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

import Base

635def Octets.split_at.pick(fits: Bool, +n: Nat, +o: Octets) -> Maybe<&2, OctetsSplit>:
636  match fits:
637    case True{}:
638      Some{OctetsSplit{Octets.take(n, o), Octets.drop(n, o)}}
639    case False{}:
640      None{}