def U64.show_radix

bend-kit-int@0.2.0.0 · int.bend:1214

import Base

1214def U64.show_radix(r: U32, a: U64) -> String:
1215  match a:
1216    case U64{x}:
1217      Int.show(64n, False{}, r, x)