module IOS: FCSet.Make
(
sig
type
t = int option
val compare : Datatype.Int.t option -> Datatype.Int.t option -> int
end
)
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.