Mercurial > urweb
comparison src/export.sig @ 1347:b106ca8200b1
postBody type
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 18 Dec 2010 10:56:31 -0500 |
parents | 5ccb67665d05 |
children | 6745eafff617 |
comparison
equal
deleted
inserted
replaced
1346:faad7d01b200 | 1347:b106ca8200b1 |
---|---|
34 | 34 |
35 datatype export_kind = | 35 datatype export_kind = |
36 Link | 36 Link |
37 | Action of effect | 37 | Action of effect |
38 | Rpc of effect | 38 | Rpc of effect |
39 | Extern of effect | |
39 | 40 |
40 val p_effect : effect Print.printer | 41 val p_effect : effect Print.printer |
41 val p_export_kind : export_kind Print.printer | 42 val p_export_kind : export_kind Print.printer |
42 | 43 |
43 end | 44 end |