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
  val peek : t -> int option
  val extract : t -> int option * t
end