def mn

import bend-osdev-acpi@0.1.1.0/check.bend as Check

import Base

172def mn(m: Maybe<&2, Nat>) -> String:
173  match m:
174    case Some{n}:
175      Nat.show(n)
176    case None{}:
177      "none"

Uses (4)