sig
  type t = Red_black_tree.RedBlackTree(Int).t
  val empty_tree : t
  val insert : t -> Int.t -> t
  val find : t -> Int.t -> bool
  val height : t -> int
  val string_of_tree : t -> string
end