def le64

import ezx@1.11.0.0/src/sha/nar.bend as Nar

import Base

36# a length as NAR writes it: eight bytes, little-endian
37def le64(+value: Nat) -> String:
38  le64.go(8n, value)

Uses (3)