(* ２分木を表すモジュールのシグネチャ *) 
 
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 する *)