Function mul_uint64

Source
fn mul_uint64(a: u64, b: u64) -> Result<u64, EvalError>