def with_number.got

bend-kit-http2@0.4.0.0 · huffman.bend:1256

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

1256def with_number.got(-R: Type, m: Maybe<&2, U32>, b: Bytes.Bytes, k: Bytes.Bytes -> U32 -> R) -> R:
1257  match m:
1258    case Some{v}:
1259      k(b, v)
1260    case None{}:
1261      k(b, 0)