Mercurial > urweb
comparison src/export.sig @ 1936:6745eafff617
Start SQL transactions as read-only when possible, based on conservative program analysis
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 12 Dec 2013 17:42:48 -0500 |
parents | b106ca8200b1 |
children |
comparison
equal
deleted
inserted
replaced
1935:fda9d5af69e7 | 1936:6745eafff617 |
---|---|
31 ReadOnly | 31 ReadOnly |
32 | ReadCookieWrite | 32 | ReadCookieWrite |
33 | ReadWrite | 33 | ReadWrite |
34 | 34 |
35 datatype export_kind = | 35 datatype export_kind = |
36 Link | 36 Link of effect |
37 | Action of effect | 37 | Action of effect |
38 | Rpc of effect | 38 | Rpc of effect |
39 | Extern of effect | 39 | Extern of effect |
40 | 40 |
41 val p_effect : effect Print.printer | 41 val p_effect : effect Print.printer |