module Make: functor (Ord : OrderedType) -> S with type elt = Ord.t
functor (
Ord
:
OrderedType
) ->
S
with type elt = Ord.t
include Set.S
val nearest_elt_le : elt -> t -> elt
elt -> t -> elt
val nearest_elt_ge : elt -> t -> elt