def U8.saturating_sub

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

import Base

821def U8.saturating_sub(a: U8, b: U8) -> U8:
822  match a b:
823    case U8{x} U8{y}:
824      U8{Nar.saturating_sub(x, y)}