method u64.checked_mul

Checked multiplication: the product, or none on overflow.

Example:

oxl✓ checked in CI

fn main() io {
  let max: u64 = 18446744073709551615
  let min: u64 = 0
  print("{max.checked_mul(2)}")
  print("{(10 as u64).checked_mul(2)}")
}

Output

none
20

pub(api) fn checked_mul(o: u64) -> u64?

Complexity. O(1).

Since. 1.0.0-beta

Parameters

Name	Type
`o`	`u64`

u64?

none declared (pure unless the body says otherwise)

Defined in: std/core/numbers.oxl:2117