diff options
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 |