sig
  type t
  type comparable
  val empty_tree : Binary_search_tree.BSTPassThruFields.t
  val insert :
    Binary_search_tree.BSTPassThruFields.t ->
    Binary_search_tree.BSTPassThruFields.comparable ->
    Binary_search_tree.BSTPassThruFields.t
end