def I64.saturating_mul
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1531def I64.saturating_mul(a: I64, b: I64) -> I64:
1532 match a b:
1533 case I64{x} I64{y}:
1534 I64{Int.saturating_mul(64n, True{}, x, y)}
Uses (3)
Used by (0)
No other definition uses this definition.