def Nat.cmp

Base · base.bend:717

717def Nat.cmp(a: Nat, b: Nat) -> Cmp:
718  match a b:
719    case 0n 0n:
720      EQ{}
721    case 0n 1n+bp:
722      LT{}
723    case 1n+ap 0n:
724      GT{}
725    case 1n+ap 1n+bp:
726      Nat.cmp(ap, bp)