module Set: Datatype.Set with type elt = t
Datatype.Set
with type elt = t
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