(* あらかじめ ex20_1.ml を読み込んでおく必要あり *) 
#use "ex20_1.ml" 
 
(* 空の赤黒木 *) 
let empty = Empty