def put.u64

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner

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

467# Nat fields hold values under 2^64.
468def put.u64(b: Bytes.Bytes, +at: U32, +n: Nat) -> Bytes.Bytes:
469  Bytes.set.u32le(Bytes.set.u32le(b, at, U32.from_nat(Nat.mod(n, W()))), (at + 4 : U32), U32.from_nat(Nat.div(n, W())))

Uses (9)

Used by (3)