Module type FCSet.S

module type S = sig .. end

Output signature of the functor FCSet.Make.

This signature add functions that assume that the compare function between elements implements a specific order. In this case, the layout of the tree might be interesting to the user.

include FCSet.S_Basic_Compare

val min_elt : t -> elt

Return the smallest element of the given set (with respect to the Ord.compare ordering), or raise Not_found if the set is empty.

val max_elt : t -> elt

Same as , but returns the largest element of the given set.

val nearest_elt_le : elt -> t -> elt

nearest_elt_le v s returns the largest element of s that is smaller or equal to v.
Raises Not_found if no such element exists.

val nearest_elt_ge : elt -> t -> elt

nearest_elt_ge v s returns the smallest element of s that is bigger or equal to v.
Raises Not_found if no such element exists.