def snap.u64

bend-kit-runner@0.13.0.1 · runner.bend:477

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

477def snap.u64(out: Bytes.Bytes, +n: Nat) -> Bytes.Bytes:
478  Bytes.append(out, put.u64(Bytes.new(8), 0, n))