1 files changed, 2 insertions, 0 deletions
diff --git a/Logic.dcl b/Logic.dcl
index 767990f..46228dc 100644
--- a/Logic.dcl
+++ b/Logic.dcl
@@ -36,3 +36,5 @@ instance toString Op1
 instance toString Op2
 instance toString Expr
 
+binds_stronger :: Op2 Op2 -> Bool           // True iff arg1 stronger binds than arg2
+