Huffman.symbol: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/huffman.bend as Huffman
Lines 535-1136 of bend-kit-http2@0.4.0.0/huffman.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/huffman.bend&start_line=535&end_line=1136

import Base

def symbol(+width: U32, +bits: U32) -> Maybe<&2, U32>:
  match width:
    case 5:
      match bits:
        case 0:
          Some{48}
        case 1:
          Some{49}
        case 2:
          Some{50}
        case 3:
          Some{97}
        case 4:
          Some{99}
        case 5:
          Some{101}
        case 6:
          Some{105}
        case 7:
          Some{111}
        case 8:
          Some{115}
        case 9:
          Some{116}
        case _:
          None{}
    case 6:
      match bits:
        case 20:
          Some{32}
        case 21:
          Some{37}
        case 22:
          Some{45}
        case 23:
          Some{46}
        case 24:
          Some{47}
        case 25:
          Some{51}
        case 26:
          Some{52}
        case 27:
          Some{53}
        case 28:
          Some{54}
        case 29:
          Some{55}
        case 30:
          Some{56}
        case 31:
          Some{57}
        case 32:
          Some{61}
        case 33:
          Some{65}
        case 34:
          Some{95}
        case 35:
          Some{98}
        case 36:
          Some{100}
        case 37:
          Some{102}
        case 38:
          Some{103}
        case 39:
          Some{104}
        case 40:
          Some{108}
        case 41:
          Some{109}
        case 42:
          Some{110}
        case 43:
          Some{112}
        case 44:
          Some{114}
        case 45:
          Some{117}
        case _:
          None{}
    case 7:
      match bits:
        case 92:
          Some{58}
        case 93:
          Some{66}
        case 94:
          Some{67}
        case 95:
          Some{68}
        case 96:
          Some{69}
        case 97:
          Some{70}
        case 98:
          Some{71}
        case 99:
          Some{72}
        case 100:
          Some{73}
        case 101:
          Some{74}
        case 102:
          Some{75}
        case 103:
          Some{76}
        case 104:
          Some{77}
        case 105:
          Some{78}
        case 106:
          Some{79}
        case 107:
          Some{80}
        case 108:
          Some{81}
        case 109:
          Some{82}
        case 110:
          Some{83}
        case 111:
          Some{84}
        case 112:
          Some{85}
        case 113:
          Some{86}
        case 114:
          Some{87}
        case 115:
          Some{89}
        case 116:
          Some{106}
        case 117:
          Some{107}
        case 118:
          Some{113}
        case 119:
          Some{118}
        case 120:
          Some{119}
        case 121:
          Some{120}
        case 122:
          Some{121}
        case 123:
          Some{122}
        case _:
          None{}
    case 8:
      match bits:
        case 248:
          Some{38}
        case 249:
          Some{42}
        case 250:
          Some{44}
        case 251:
          Some{59}
        case 252:
          Some{88}
        case 253:
          Some{90}
        case _:
          None{}
    case 10:
      match bits:
        case 1016:
          Some{33}
        case 1017:
          Some{34}
        case 1018:
          Some{40}
        case 1019:
          Some{41}
        case 1020:
          Some{63}
        case _:
          None{}
    case 11:
      match bits:
        case 2042:
          Some{39}
        case 2043:
          Some{43}
        case 2044:
          Some{124}
        case _:
          None{}
    case 12:
      match bits:
        case 4090:
          Some{35}
        case 4091:
          Some{62}
        case _:
          None{}
    case 13:
      match bits:
        case 8184:
          Some{0}
        case 8185:
          Some{36}
        case 8186:
          Some{64}
        case 8187:
          Some{91}
        case 8188:
          Some{93}
        case 8189:
          Some{126}
        case _:
          None{}
    case 14:
      match bits:
        case 16380:
          Some{94}
        case 16381:
          Some{125}
        case _:
          None{}
    case 15:
      match bits:
        case 32764:
          Some{60}
        case 32765:
          Some{96}
        case 32766:
          Some{123}
        case _:
          None{}
    case 19:
      match bits:
        case 524272:
          Some{92}
        case 524273:
          Some{195}
        case 524274:
          Some{208}
        case _:
          None{}
    case 20:
      match bits:
        case 1048550:
          Some{128}
        case 1048551:
          Some{130}
        case 1048552:
          Some{131}
        case 1048553:
          Some{162}
        case 1048554:
          Some{184}
        case 1048555:
          Some{194}
        case 1048556:
          Some{224}
        case 1048557:
          Some{226}
        case _:
          None{}
    case 21:
      match bits:
        case 2097116:
          Some{153}
        case 2097117:
          Some{161}
        case 2097118:
          Some{167}
        case 2097119:
          Some{172}
        case 2097120:
          Some{176}
        case 2097121:
          Some{177}
        case 2097122:
          Some{179}
        case 2097123:
          Some{209}
        case 2097124:
          Some{216}
        case 2097125:
          Some{217}
        case 2097126:
          Some{227}
        case 2097127:
          Some{229}
        case 2097128:
          Some{230}
        case _:
          None{}
    case 22:
      match bits:
        case 4194258:
          Some{129}
        case 4194259:
          Some{132}
        case 4194260:
          Some{133}
        case 4194261:
          Some{134}
        case 4194262:
          Some{136}
        case 4194263:
          Some{146}
        case 4194264:
          Some{154}
        case 4194265:
          Some{156}
        case 4194266:
          Some{160}
        case 4194267:
          Some{163}
        case 4194268:
          Some{164}
        case 4194269:
          Some{169}
        case 4194270:
          Some{170}
        case 4194271:
          Some{173}
        case 4194272:
          Some{178}
        case 4194273:
          Some{181}
        case 4194274:
          Some{185}
        case 4194275:
          Some{186}
        case 4194276:
          Some{187}
        case 4194277:
          Some{189}
        case 4194278:
          Some{190}
        case 4194279:
          Some{196}
        case 4194280:
          Some{198}
        case 4194281:
          Some{228}
        case 4194282:
          Some{232}
        case 4194283:
          Some{233}
        case _:
          None{}
    case 23:
      match bits:
        case 8388568:
          Some{1}
        case 8388569:
          Some{135}
        case 8388570:
          Some{137}
        case 8388571:
          Some{138}
        case 8388572:
          Some{139}
        case 8388573:
          Some{140}
        case 8388574:
          Some{141}
        case 8388575:
          Some{143}
        case 8388576:
          Some{147}
        case 8388577:
          Some{149}
        case 8388578:
          Some{150}
        case 8388579:
          Some{151}
        case 8388580:
          Some{152}
        case 8388581:
          Some{155}
        case 8388582:
          Some{157}
        case 8388583:
          Some{158}
        case 8388584:
          Some{165}
        case 8388585:
          Some{166}
        case 8388586:
          Some{168}
        case 8388587:
          Some{174}
        case 8388588:
          Some{175}
        case 8388589:
          Some{180}
        case 8388590:
          Some{182}
        case 8388591:
          Some{183}
        case 8388592:
          Some{188}
        case 8388593:
          Some{191}
        case 8388594:
          Some{197}
        case 8388595:
          Some{231}
        case 8388596:
          Some{239}
        case _:
          None{}
    case 24:
      match bits:
        case 16777194:
          Some{9}
        case 16777195:
          Some{142}
        case 16777196:
          Some{144}
        case 16777197:
          Some{145}
        case 16777198:
          Some{148}
        case 16777199:
          Some{159}
        case 16777200:
          Some{171}
        case 16777201:
          Some{206}
        case 16777202:
          Some{215}
        case 16777203:
          Some{225}
        case 16777204:
          Some{236}
        case 16777205:
          Some{237}
        case _:
          None{}
    case 25:
      match bits:
        case 33554412:
          Some{199}
        case 33554413:
          Some{207}
        case 33554414:
          Some{234}
        case 33554415:
          Some{235}
        case _:
          None{}
    case 26:
      match bits:
        case 67108832:
          Some{192}
        case 67108833:
          Some{193}
        case 67108834:
          Some{200}
        case 67108835:
          Some{201}
        case 67108836:
          Some{202}
        case 67108837:
          Some{205}
        case 67108838:
          Some{210}
        case 67108839:
          Some{213}
        case 67108840:
          Some{218}
        case 67108841:
          Some{219}
        case 67108842:
          Some{238}
        case 67108843:
          Some{240}
        case 67108844:
          Some{242}
        case 67108845:
          Some{243}
        case 67108846:
          Some{255}
        case _:
          None{}
    case 27:
      match bits:
        case 134217694:
          Some{203}
        case 134217695:
          Some{204}
        case 134217696:
          Some{211}
        case 134217697:
          Some{212}
        case 134217698:
          Some{214}
        case 134217699:
          Some{221}
        case 134217700:
          Some{222}
        case 134217701:
          Some{223}
        case 134217702:
          Some{241}
        case 134217703:
          Some{244}
        case 134217704:
          Some{245}
        case 134217705:
          Some{246}
        case 134217706:
          Some{247}
        case 134217707:
          Some{248}
        case 134217708:
          Some{250}
        case 134217709:
          Some{251}
        case 134217710:
          Some{252}
        case 134217711:
          Some{253}
        case 134217712:
          Some{254}
        case _:
          None{}
    case 28:
      match bits:
        case 268435426:
          Some{2}
        case 268435427:
          Some{3}
        case 268435428:
          Some{4}
        case 268435429:
          Some{5}
        case 268435430:
          Some{6}
        case 268435431:
          Some{7}
        case 268435432:
          Some{8}
        case 268435433:
          Some{11}
        case 268435434:
          Some{12}
        case 268435435:
          Some{14}
        case 268435436:
          Some{15}
        case 268435437:
          Some{16}
        case 268435438:
          Some{17}
        case 268435439:
          Some{18}
        case 268435440:
          Some{19}
        case 268435441:
          Some{20}
        case 268435442:
          Some{21}
        case 268435443:
          Some{23}
        case 268435444:
          Some{24}
        case 268435445:
          Some{25}
        case 268435446:
          Some{26}
        case 268435447:
          Some{27}
        case 268435448:
          Some{28}
        case 268435449:
          Some{29}
        case 268435450:
          Some{30}
        case 268435451:
          Some{31}
        case 268435452:
          Some{127}
        case 268435453:
          Some{220}
        case 268435454:
          Some{249}
        case _:
          None{}
    case 30:
      match bits:
        case 1073741820:
          Some{10}
        case 1073741821:
          Some{13}
        case 1073741822:
          Some{22}
        case 1073741823:
          Some{256}
        case _:
          None{}
    case _:
      None{}

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil