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