Escape.hex: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
Lines 77-79 of bolt@1.27.0.0/src/rules/correctness/escape.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&start_line=77&end_line=79

import Base

# a value under 256 in hex, without leading zeros
def hex(+nn: U32) -> String:
  Bool.pick(String, U32.is_lt(nn, 16), hexd(nn), hexd((nn / 16 : U32)) ++ hexd((nn % 16 : U32)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=hexd