Unicode.decomp.if: def of bend-kit-unicode@0.1.0.0
Import: import bend-kit-unicode@0.1.0.0/unicode.bend as Unicode
Lines 23-28 of bend-kit-unicode@0.1.0.0/unicode.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&start_line=23&end_line=28

import Base
import bend-kit-unicode@0.1.0.0/tables.bend as T

def decomp.if(hangul: Bool, +s: U32, +c: U32) -> String:
  match hangul:
    case True{}:
      hangul.dec(s)
    case False{}:
      T.dec(c)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=bend-kit-unicode@0.1.0.0/tables.bend&name=dec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&name=hangul.dec