functor (Ord : Ord.S) ->
  sig
    type t
    val empty_tree : t
    val insert : t -> Ord.t -> t
    val find : t -> Ord.t -> bool
    val height : t -> int
    val string_of_tree : t -> string
  end