def Octets.le64_at

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

692def Octets.le64_at(o: Octets, +i: Nat) -> Maybe<&2, W.W64>:
693  le64_at(Octets.field(i, 8n, o), 0n)