モジュールの定義

モジュール（正確にはストラクチャ）の定義は次のようにして，struct と endo のあいだに各種定義の書く。

 # module Tree =
     struct
       type 'a t = Lf | Br of 'a * 'a t * 'a t
   
       let rec size = function
           Lf -> 0
         | Br (_, left, right) -> 1 + size left + size right
   
       let rec depth = function
           Lf -> 0
         | Br (_, left, right) -> 1 + max (depth left) (depth right)
     end
     ;;

モジュールの中に書けるのは：

• 変数束縛
• 関数宣言
• type による型宣言
• exception宣言
• open宣言
• module定義（入れ子）

さて，対話環境で上のようにモジュール定義をすると次のような応答が返ってくる。

 module Tree :
   sig
     type 'a t = Lf | Br of 'a * 'a t * 'a t
     val size : 'a t -> int
     val depth : 'a t -> int
   end

これはシグネチャといって，いってみればモジュールの型というべきもの。これについてはまた後で書く。