Base · base.bend:731
import Base
731def Nat.is_eq(a: Nat, b: Nat) -> Bool: 732 Cmp.is_eq(Nat.cmp(a, b))