def show_maybe

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

import Base

7def show_maybe(m: Maybe<&2, Nat>) -> String:
8  match m:
9    case None{}:
10      "none"
11    case Some{v}:
12      Nat.show(v)