Base · base.bend:734
import Base
734def Nat.is_ne(a: Nat, b: Nat) -> Bool: 735 Bool.not(Cmp.is_eq(Nat.cmp(a, b)))