Mercurial > urweb

comparison src/iflow.sig @ 1210:c5bd970e77a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing more comparison operators
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Apr 2010 12:04:08 -0400
parents ae3036773768
children 1d4d65245dd3
comparison
equal deleted inserted replaced
1209:775357041e48 1210:c5bd970e77a5
40 40
41 datatype reln = 41 datatype reln =
42 Known 42 Known
43 | Sql of string 43 | Sql of string
44 | Eq 44 | Eq
45 | Ne
46 | Lt
47 | Le
48 | Gt
49 | Ge
45 50
46 datatype prop = 51 datatype prop =
47 True 52 True
48 | False 53 | False
49 | Unknown 54 | Unknown