def U64.read_radix
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1222def U64.read_radix(r: U32, s: String) -> Maybe<&2, U64>:
1223 U64.some(Int.read(64n, False{}, r, s))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1222def U64.read_radix(r: U32, s: String) -> Maybe<&2, U64>:
1223 U64.some(Int.read(64n, False{}, r, s))