def show_u32

bend-osdev-bytes@0.1.1.0 · check.bend:5

import Base

5def show_u32(m: Maybe<&2, U32>) -> String:
6  match m:
7    case Some{v}:
8      U32.show(v)
9    case None{}:
10      "none"