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