def show_name

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

import Base

39def show_name(m: Maybe<&2, String>) -> String:
40  match m:
41    case None{}:
42      "none"
43    case Some{s}:
44      s

Uses (2)