Nar.le64.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar
Lines 29-34 of ezx@1.11.0.0/src/sha/nar.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/nar.bend&start_line=29&end_line=34

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=nat.byte