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