(* 赤黒木を表すモジュールのシグネチャ（２分木のモジュールと同一）*) 
 
type ('a, 'b) t 
  (* キーが 'a 型、値が 'b 型の木の型。型の中身は非公開 *) 
 
val empty : ('a, 'b) t 
  (* 使い方：empty *) 
  (* 空の木 *) 
 
val insert : ('a, 'b) t -> 'a -> 'b -> ('a, 'b) t 
  (* 使い方：insert tree key value *) 
  (* 木 tree にキー key と値 value を挿入した木を返す *) 
  (* キーが既に存在していたら新しい値に置き換える *) 
 
val search : ('a, 'b) t -> 'a -> 'b 
  (* 使い方：search tree key *) 
  (* 木 tree の中からキー key に対応する値を探して返す *) 
  (* みつからなければ Not_found を raise する *) 
 
val traverse : ('a -> 'b -> 'c -> 'a) -> 'a -> ('b, 'c) t -> 'a 
  (* 使い方：traverse f init tree *) 
  (* 全てのノードを深さ優先で訪れる *) 
  (* 初期値 init から始めて、各ノードで関数 f を順に適用する *) 
 
val length : ('a, 'b) t -> int 
  (* 使い方：length tree *) 
  (* 木の中にあるノードの数を求める *)