From 02c45922fc897047ecce16cc02398338947e7b94 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 11:16:02 +0200
Subject: Fix associativity

---
 Logic.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Logic.dcl')

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
+
-- 
cgit v1.2.3