SYMBOL: +unordered+
SYMBOLS:
- cc< cc<= cc= cc> cc>= cc<> cc<>=
+ cc< cc<= cc= cc> cc>= cc<> cc<>=
cc/< cc/<= cc/= cc/> cc/>= cc/<> cc/<>= ;
SYMBOLS:
{ cc= cc/= }
{ cc<> cc/<> }
{ cc<>= cc/<>= }
- { cc/< cc< }
+ { cc/< cc< }
{ cc/<= cc<= }
{ cc/> cc> }
- { cc/>= cc>= }
- { cc/= cc= }
- { cc/<> cc<> }
+ { cc/>= cc>= }
+ { cc/= cc= }
+ { cc/<> cc<> }
{ cc/<>= cc<>= }
{ cc-o cc/o }
{ cc/o cc-o }
{ cc= cc= }
{ cc<> cc/= }
{ cc<>= t }
- { cc/< cc>= }
+ { cc/< cc>= }
{ cc/<= cc> }
{ cc/> cc<= }
- { cc/>= cc< }
- { cc/= cc/= }
- { cc/<> cc= }
+ { cc/>= cc< }
+ { cc/= cc/= }
+ { cc/<> cc= }
{ cc/<>= f }
} at ;
{ cc/<> { +eq+ +unordered+ } }
{ cc/<>= { +unordered+ } }
} at member-eq? ;
-