From 880a09d1b36d1b4db23d72404c3e54f351a6541a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Apr 2010 12:04:08 -0400
Subject: Parsing more comparison operators

---
 src/iflow.sig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/iflow.sig')

diff --git a/src/iflow.sig b/src/iflow.sig
index bc481022..f85322ef 100644
--- a/src/iflow.sig
+++ b/src/iflow.sig
@@ -42,6 +42,11 @@ signature IFLOW = sig
              Known
            | Sql of string
            | Eq
+           | Ne
+           | Lt
+           | Le
+           | Gt
+           | Ge
 
     datatype prop =
              True
-- 
cgit v1.2.3