r76

• 制約の検証を多少実装
  • Ti.solve
  • Cstrs.remove_transitives

{t1 < t2, t2 < t3} => {t1 < t3}

みたいな計算ができるようになった．

t1 ＜ t3を，Subtype.testを利用して処理するようTi.solveをプログラムすれば，動くようになるはず．

それなりにTDDでやっているから，リズムも良い．

TODO

• Ti.solveのプログラム
• *.mliの整理整頓
• エントリポイントのプログラム