module Make: functor (Ord : Ord.S) -> functor (Base : InputBST with type comparable := Ord.t) -> sig .. end
functor (
Ord
:
Ord.S
) ->
Base
InputBST
with type comparable := Ord.t
sig
end
InputBST with type comparable := Ord.t
include Base
val find : Base.t -> Ord.t -> bool
Base.t -> Ord.t -> bool
val height : Base.t -> int
Base.t -> int
val string_of_tree : t -> string
t -> string