Base · base.bend:728
import Base
728def Nat.is_lt(a: Nat, b: Nat) -> Bool: 729 Cmp.is_lt(Nat.cmp(a, b))