def number

import bend-kit-http2@0.4.0.0/http2.bend as Http2

import Base

40def number(m: Maybe<&2, U32>) -> U32:
41  match m:
42    case Some{x}:
43      x
44    case None{}:
45      0

Uses (2)