u256_wide_mul

Fully qualified path: core::integer::u256_wide_mul

pub fn u256_wide_mul(a: u256, b: u256) -> u512 nopanic