sig
  type t
  type comparable
  val empty_tree : t
  val insert : t -> comparable -> t
  val find : t -> comparable -> bool
  val height : t -> int
  val string_of_tree : t -> string
  val peek : t -> comparable option
  val extract : t -> comparable option * t
end