to_u128

procedureSource

Widens an unsigned integer (u8 to u64) to a U128.

to_u128 :: (a: $T) -> U128

Example↗

x := to_u128(cast(u64) 7);
assert(x.low == 7 && x.high == 0);

See also