def find.static

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

import Base

314def find.static(+exact: Bool, n: Nat, +i: U32, +name: String, +value: String, found: U32) -> U32:
315  match n found:
316    case 0n result:
317      result
318    case 1n+p 0:
319      find.static(exact, p, (i + 1 : U32), name, value,
320        Bool.pick(U32, field.matches(exact, static(i), name, value), i, 0))
321    case 1n+p result:
322      result