def decode.min

bend-kit-http2@0.4.0.0 · hpack.bend:408

import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

import Base

408def decode.min(m: Maybe<&2, U32>, +n: U32) -> Bool:
409  match m:
410    case None{}:
411      True{}
412    case Some{minimum}:
413      U32.is_le(n, minimum)

Uses (4)

Used by (1)

bend-kit-http2@0.4.0.0/hpack:decode.update.value