Base · base.bend:737
import Base
737def Nat.is_le(a: Nat, b: Nat) -> Bool: 738 Cmp.is_le(Nat.cmp(a, b))