multiply_64bits_with_overflow

multiply_64bits_with_overflow :: (a: u64, b: u64) -> (high: u64, low: u64)

Parameters

a: u64

b: u64

Returns

high: u64

low: u64