~/jendhub

def table.at

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

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

203def table.at(xs: List<&2, Field>, n: Nat) -> Maybe<&2, Field>:
204  match xs n:
205    case Nil{} _:
206      None{}
207    case Con{+field, tail} 0n:
208      Some{field}
209    case Con{field, tail} 1n+p:
210      table.at(tail, p)

Uses (4)

Used by (1)