Hpack.table.trim.go: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
Lines 267-278 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=267&end_line=278

import Base

def table.trim.go(xs: List<&2, Field>, +room: U32, keep: Bool, +acc: List<&2, Field>, +used: U32) -> List<&2, Field> & U32:
  match xs keep:
    case Nil{} _:
      (List.reverse(&2, Field, acc), used)
    case Con{field, tail} False{}:
      (List.reverse(&2, Field, acc), used)
    case Con{+field, tail} True{}:
      +cost = field.size(field)
      +fits = U32.is_le(cost, room)
      table.trim.go(tail, Bool.pick(U32, fits, (room - cost : U32), 0), fits,
        Bool.pick(List<&2, Field>, fits, Con{field, acc}, acc),
        Bool.pick(U32, fits, (used + cost : U32), used))

Uses (12):
  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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=field.size