Module type Datatype.Set

module type Set = sig .. end
A standard OCaml set signature extended with datatype operations.

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