def show_w64

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

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

12def show_w64(m: Maybe<&2, W.W64>) -> String:
13  match m:
14    case Some{v}:
15      W.W64.show_hex(v)
16    case None{}:
17      "none"