MLの独自の型の定義の仕方

1. レコード

   # type complex =
   { re : float ; im :float};;
   アクセスは c1.re;;など。

2. バリアント型

   # tyoe itree = Leaf
   | Node of int * itree * itree;;
   

   多相データ型

   type 'a tree = Leaf | Node of
   'a * 'a tree * 'a tree;;