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