Ssreflect Users Discussion List

[Pierre Casteran <>]

Hello,

 It seems that the notation ==> has two incompatible precedences :

Require Import ssrbool.
Require Import Setoid.


Error: Notation _ ==> _ is already defined at level 60 with arguments
at next level, at level 60 while it is now required to be at level 55
with arguments at next level, at level 55.


Would it be possible to have the same level in Setoid and Ssreflect 
libraries ?
Or is that incompatibility harmless ?

Pierre