def le64.go

ezx@1.11.0.0 · src/sha/nar.bend:29

import Base

29def le64.go(width: Nat, +value: Nat) -> String:
30  match width:
31    case 0n:
32      ""
33    case 1n+f:
34      SCon{nat.byte(value), le64.go(f, Nat.div(value, 256n))}