More forms of extensional equality

verus-lang · Dec 19, 2024 · 42eca32 · 42eca32
1 parent 97b8d77
commit 42eca32
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/syntax/src/ast/expr_ext.rs b/crates/syntax/src/ast/expr_ext.rs
@@ -166,6 +166,7 @@ impl ast::BinExpr {
                 T![<==]=> BinaryOp::LogicOp(LogicOp::RevImply),
 
                 T![==] => BinaryOp::CmpOp(CmpOp::Eq { negated: false }),
+                T![=~=] | T![=~~=] | T![===] => BinaryOp::CmpOp(CmpOp::Eq { negated: false }),   // verus: TODO: Do we need a separate operator for extensional equality?
                 T![!=] => BinaryOp::CmpOp(CmpOp::Eq { negated: true }),
                 T![<=] => BinaryOp::CmpOp(CmpOp::Ord { ordering: Ordering::Less,    strict: false }),
                 T![>=] => BinaryOp::CmpOp(CmpOp::Ord { ordering: Ordering::Greater, strict: false }),