def Octets.at

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

651def Octets.at(o: Octets, i: Nat) -> Maybe<&2, U32>:
652  match o:
653    case Octets{ws}:
654      w8s.at(w8s.drop(i, ws))

Uses (6)