def U64.saturating_mul

bend-kit-int@0.2.0.0 · int.bend:1166

import Base

1166def U64.saturating_mul(a: U64, b: U64) -> U64:
1167  match a b:
1168    case U64{x} U64{y}:
1169      U64{Int.saturating_mul(64n, False{}, x, y)}