Print.escape.u: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/print.bend as Print
Lines 15-16 of emerging-ezjson@1.3.0.0/src/print.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/print.bend&start_line=15&end_line=16

import Base

def escape.u(+cp: U32) -> String:
  "\\u00" ++ String.from_list([escape.nib(U32.div(cp, 16)), escape.nib(U32.mod(cp, 16))])

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=String.from_list
  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.mod
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/print.bend&name=escape.nib