def Octets.le32_at

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

import Base

686def Octets.le32_at(o: Octets, +i: Nat) -> Maybe<&2, U32>:
687  le32.head(Octets.field(i, 4n, o))

Uses (6)