def U64.saturating_sub

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

1161def U64.saturating_sub(a: U64, b: U64) -> U64:
1162  match a b:
1163    case U64{x} U64{y}:
1164      U64{Int.saturating_sub(64n, False{}, x, y)}

Uses (3)

Bool
bend-kit-int@0.2.0.0/int:U64
bend-kit-int@0.2.0.0/int:Int.saturating_sub

Used by (0)

No other definition uses this definition.