Hpack.with_end: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
Lines 481-483 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=481&end_line=483

import Base

def with_end(-R: Type, c: Cursor, k: Cursor -> Bool -> R) -> R:
  Cursor{bytes, +at, +length} = c
  k(Cursor{bytes, at, length}, U32.is_eq(at, length))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Cursor