def Octets.be64

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

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

674def Octets.be64(v: W.W64) -> Octets:
675  Octets.of_list(be64(v))

Uses (4)