Module Datatype.S_with_collections.Set

module Set: Datatype.Set  with type elt = t

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