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.