Support multilevel narrowing better
commit2b3e92de30f9322515738de10b3afa31e605e38d
authormalc <av1474@comtv.ru>
Sun, 8 Sep 2013 01:15:11 +0000 (8 05:15 +0400)
committermalc <av1474@comtv.ru>
Sun, 8 Sep 2013 01:15:11 +0000 (8 05:15 +0400)
treec56c810b5a44426d125cfcd7ba283327fc947309
parent3221e3c9f5ac3e475412c8a9bd619faaedf7a136
Support multilevel narrowing better
main.ml