def limit.min

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

import Base

341def limit.min(m: Maybe<&2, U32>, +n: U32) -> U32:
342  match m:
343    case None{}:
344      n
345    case Some{+old}:
346      Bool.pick(U32, U32.is_lt(n, old), n, old)