(* 木を表す型 *) 
type tree_t = Empty                     (* 空の木 *) 
            | Leaf of int                   (* 葉 *) 
            | Node of tree_t * int * tree_t (* 節 *) 
 
(* 
(* 節のみの木を表す型 *) 
type tree_t = Node of tree_t * int * tree_t (* 節 *) 
*)