def show_opt

bend-osdev-algo@0.1.0.0 · check.bend:25

import bend-osdev-algo@0.1.0.0/check.bend as Check

import Base

25def show_opt(r: Array<U32> & Maybe<&2, U32>) -> String:
26  (a, m) = r
27  match m:
28    case None{}:
29      "none"
30    case Some{v}:
31      U32.show(v)

Uses (7)

Used by (1)

bend-osdev-algo@0.1.0.0/check:main