module Make: functor (Set : SMALLSET) -> S with type elm = Set.t
Takes the set and creates a module allowing to
collect lower and upper bounds.
type 'a d = [ `Eq of 'a | `Lower of 'a | `LowerUpper of 'a * 'a | `Upper of 'a ]
These are the alternatives of a lower-upper value
type
type elm d
The type of a LSetInEx value
val create_lower : elm -> t
create a lower bound
val create_upper : elm -> t
creates an upper bound
val create_lowerupper : elm -> elm -> t
create a lower and an upper bound
val compare : t -> t -> int
compare to values
val merge : t -> t -> t
merge to sets
val get_exact : t -> elm option
If the upper and lower bound are equal, then
the exact value is returned. Otherwise, None
indicates that there are more than one possibilities
for this binding.
val string_of : t -> string
Returns a string representation of a LSetInEx.t value
val normalize : t -> t