module Make:
Functor building an implementation of the set structure given a totally ordered type.
Parameters: |
|
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 split : elt -> t -> t * bool * t
split x s
returns a triple (l, present, r)
, where
l
is the set of elements of s
that are
strictly less than x
;
r
is the set of elements of s
that are
strictly greater than x
;
present
is false
if s
contains no element equal to x
,
or true
if s
contains an element equal to x
.
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
.
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
.
Not_found
if no such element exists.