Module type SetWithNearest.S

module type S = sig .. end
Output signature of the functor SetWithNearest.Make.

include Datatype.Set
val nearest_elt_le : elt -> t -> elt
val nearest_elt_ge : elt -> t -> elt