Hpack.decode.representation: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
Lines 449-464 of bend-kit-http2@0.4.0.0/hpack.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&start_line=449&end_line=464

import Base

def decode.representation(kind: U32, +first: U32, c: Cursor, +st: State, seen: Bool) -> Maybe<&1, Step>:
  match kind:
    case 0:
      do Maybe<&1, Step>:
        unused: Unit <- within(decode.ready(st))
        decode.indexed(first, st, c)
    case 1:
      do Maybe<&1, Step>:
        unused: Unit <- within(decode.ready(st))
        decode.literal(first, 63, 0, st, c)
    case 2:
      decode.update(first, st, c, seen)
    case _:
      do Maybe<&1, Step>:
        unused: Unit <- within(decode.ready(st))
        decode.literal(first, 15, Bool.pick(U32, U32.is_ne((first .&. 16 : U32), 0), 2, 1), st, c)

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  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.is_ne
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.indexed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.literal
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.ready
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.update
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=within