Mercurial > urweb

comparison src/iflow.sig @ 1207:ae3036773768

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Introduced the known() predicate
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Apr 2010 09:51:36 -0400
parents 772760df4c4c
children c5bd970e77a5
comparison
equal deleted inserted replaced
1206:772760df4c4c 1207:ae3036773768
37 | Recd of (string * exp) list 37 | Recd of (string * exp) list
38 | Proj of exp * string 38 | Proj of exp * string
39 | Finish 39 | Finish
40 40
41 datatype reln = 41 datatype reln =
42 Sql of string 42 Known
43 | Sql of string
43 | Eq 44 | Eq
44 45
45 datatype prop = 46 datatype prop =
46 True 47 True
47 | False 48 | False