(** Obsolete results about boolean comparisons over [N],
    kept for compatibility with IntMap and SMC. *)

Notation Peqb_correct := Pos.eqb_refl (only parsing).Notation Neqb_correct := N.eqb_refl (only parsing).Notation Neqb_comm := N.eqb_sym (only parsing).

Lemma Peqb_Pcompare p p' : Pos.eqb p p' = true -> Pos.compare p p' = Eq.