comparison src/iflow.sig @ 1206:772760df4c4c

Parsing more of WHERE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 17:44:12 -0400
parents 509a6d7b60fb
children ae3036773768
comparison
equal deleted inserted replaced
1205:7cd11380cdf1 1206:772760df4c4c
53 53
54 exception Imply of prop * prop 54 exception Imply of prop * prop
55 55
56 val check : Mono.file -> unit 56 val check : Mono.file -> unit
57 57
58 val debug : bool ref
59
58 end 60 end