Mercurial > urweb

comparison src/iflow.sig @ 1202:509a6d7b60fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Iflow tested with positive and negative cases
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 16:17:23 -0400
parents 5eac14322548
children 772760df4c4c
comparison
equal deleted inserted replaced
1201:8793fd48968c 1202:509a6d7b60fb
49 | And of prop * prop 49 | And of prop * prop
50 | Or of prop * prop 50 | Or of prop * prop
51 | Reln of reln * exp list 51 | Reln of reln * exp list
52 | Select of int * lvar * lvar * prop * exp 52 | Select of int * lvar * lvar * prop * exp
53 53
54 exception Summaries of (string * exp * prop * (exp * prop) list) list 54 exception Imply of prop * prop
55 55
56 val check : Mono.file -> unit 56 val check : Mono.file -> unit
57 57
58 end 58 end