diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-06 13:59:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-06 13:59:16 -0400 |
| commit | 980a76796eceb07f1c722cc5dec1c24d933712ad (patch) | |
| tree | 68459667a53592ae3e1ee0eab43e60816eb91f47 /src/iflow.sig | |
| parent | 0f74117c0c60e4fe07487a36fa0c665a6f359ce1 (diff) | |
About to try removing Select predicate
Diffstat (limited to 'src/iflow.sig')
| -rw-r--r-- | src/iflow.sig | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/iflow.sig b/src/iflow.sig index f85322ef..3e624bb1 100644 --- a/src/iflow.sig +++ b/src/iflow.sig @@ -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 |