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