Clarify that merge should be monotonic

egraphs-good · Sep 28, 2023 · 248a9b6 · 248a9b6
1 parent 8cd5fda
commit 248a9b6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -150,6 +150,8 @@ If you define a `:merge` expression, you can update specific values in the funct
 (extract (KeepMax 1)) ; this is 2
 ```
 
+Note that the `:merge` expression must be monotonic, meaning that if you merge any number of values, the ordering in which the merges are applied should not affect the final result.
+
 
 ### `declare` command