module type Set = sig .. end
sig
end
include Set.S
val nearest_elt_le : elt -> Datatype.t -> elt
elt -> Datatype.t -> elt
val nearest_elt_ge : elt -> Datatype.t -> elt
include Datatype.S