def Octets.be64_at

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

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

695def Octets.be64_at(o: Octets, +i: Nat) -> Maybe<&2, W.W64>:
696  be64_at(Octets.field(i, 8n, o), 0n)