def Nar.sat_sub

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

import Base

503def Nar.sat_sub(lt: Bool, a: U32, b: U32) -> U32:
504  match lt:
505    case True{}:
506      0
507    case False{}:
508      U32.sub(a, b)

Uses (3)

U32
Bool
U32.sub

Used by (1)

bend-kit-int@0.2.0.0/int:Nar.saturating_sub