Mercurial > urweb

diff src/iflow.sig @ 1211:1d4d65245dd3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
About to try removing Select predicate
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Apr 2010 13:59:16 -0400
parents c5bd970e77a5
children
line wrap: on
line diff
--- a/src/iflow.sig	Tue Apr 06 12:04:08 2010 -0400
+++ b/src/iflow.sig	Tue Apr 06 13:59:16 2010 -0400
@@ -27,38 +27,6 @@
 
 signature IFLOW = sig
 
-    type lvar = int
-
-    datatype exp =
-             Const of Prim.t
-           | Var of int
-           | Lvar of int
-           | Func of string * exp list
-           | Recd of (string * exp) list
-           | Proj of exp * string
-           | Finish
-
-    datatype reln =
-             Known
-           | Sql of string
-           | Eq
-           | Ne
-           | Lt
-           | Le
-           | Gt
-           | Ge
-
-    datatype prop =
-             True
-           | False
-           | Unknown
-           | And of prop * prop
-           | Or of prop * prop
-           | Reln of reln * exp list
-           | Select of int * lvar * lvar * prop * exp
-
-    exception Imply of prop * prop
-
     val check : Mono.file -> unit
 
     val debug : bool ref