<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_1_1457006289984_3849">Hi</div><div id="yui_3_16_0_1_1457006289984_4011">I have a definition of the form</div><div dir="ltr" id="yui_3_16_0_1_1457006289984_3971">T::= T_1 | T_2 | T_3</div><div id="yui_3_16_0_1_1457006289984_3993" dir="ltr">I can use T_1+T_2+T_3 with explicit inl, inr but it isn't a good solution. What can I do else?</div><div id="yui_3_16_0_1_1457006289984_4059" dir="ltr"><br></div><div id="yui_3_16_0_1_1457006289984_4060" dir="ltr">Pavel<br></div></div></body></html>