sig
  type t
  val empty_tree : t
  val insert : t -> int -> t
  val find : t -> int -> bool
  val height : t -> int
  val string_of_tree : t -> string
end