u64_wide_mul

Fully qualified path: core::integer::u64_wide_mul

pub extern fn u64_wide_mul(lhs: u64, rhs: u64) -> u128 implicits() nopanic;