def Octets.le64

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

671def Octets.le64(v: W.W64) -> Octets:
672  Octets.of_list(le64(v))

Uses (4)