base.CompareNats

read #(a: imm base.Nat, b: imm base.Nat): imm base.Ordering -> …,
read #(a: imm base.Nat, b: imm base.Nat): imm base.Ordering -> …,