Nar.nat.byte: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar
Lines 26-27 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=26&end_line=27

import Base

def nat.byte(+value: Nat) -> Char:
  byte(U32.from_nat(Nat.mod(value, 256n)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=byte