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