comparison src/export.sig @ 1979:81bc76aa4acd

Merge in upstream changes.
author Patrick Hurst <phurst@mit.edu>
date Sat, 18 Jan 2014 18:26:24 -0500
parents 6745eafff617
children
comparison
equal deleted inserted replaced
1978:c5143edaf3c7 1979:81bc76aa4acd
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