From 980a76796eceb07f1c722cc5dec1c24d933712ad Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 6 Apr 2010 13:59:16 -0400 Subject: About to try removing Select predicate --- src/iflow.sig | 32 -------------------------------- 1 file changed, 32 deletions(-) (limited to 'src/iflow.sig') 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 -- cgit v1.2.3