Notch.esc.ctl: def of bend-kit-notch@0.4.0.0
Import: import bend-kit-notch@0.4.0.0/notch.bend as Notch
Lines 88-94 of bend-kit-notch@0.4.0.0/notch.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-notch@0.4.0.0/notch.bend&start_line=88&end_line=94

import Base

def esc.ctl(ctl: Bool, +c: U32, rest: String) -> String:
  match ctl:
    case True{}:
      SCon{Chr{92}, SCon{'u', SCon{'0', SCon{'0', SCon{hex(U32.shrn(c, 4n)),
        SCon{hex((c .&. 15 : U32)), rest}}}}}}
    case False{}:
      SCon{Chr{c}, rest}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=hex