Functor SetWithNearest.Make


module Make: 
functor (Ord : Datatype.S) -> S with type elt = Ord.t
Functor building an implementation of the set structure given a totally ordered type.
Parameters:
Ord : Datatype.S

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