Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1210:c5bd970e77a5 1211:1d4d65245dd3
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature IFLOW = sig 28 signature IFLOW = sig
29 29
30 type lvar = int
31
32 datatype exp =
33 Const of Prim.t
34 | Var of int
35 | Lvar of int
36 | Func of string * exp list
37 | Recd of (string * exp) list
38 | Proj of exp * string
39 | Finish
40
41 datatype reln =
42 Known
43 | Sql of string
44 | Eq
45 | Ne
46 | Lt
47 | Le
48 | Gt
49 | Ge
50
51 datatype prop =
52 True
53 | False
54 | Unknown
55 | And of prop * prop
56 | Or of prop * prop
57 | Reln of reln * exp list
58 | Select of int * lvar * lvar * prop * exp
59
60 exception Imply of prop * prop
61
62 val check : Mono.file -> unit 30 val check : Mono.file -> unit
63 31
64 val debug : bool ref 32 val debug : bool ref
65 33
66 end 34 end