Zlib.fx.hi: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 757-763 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=757&end_line=763

import Base

# RFC 1951 §3.2.6: the fixed code of literal/length symbol s, and its length.
def fx.hi(+s: U32, lo: Bool) -> U32 & U32:
  match lo:
    case True{}:
      ((s - 256 : U32), 7)
    case False{}:
      ((s - 88 : U32), 8)

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=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.sub