Module Solve.Solver.D


module D: Domain
Structure representing the domain.

type t 
Type of domain.
val lub : t -> t -> t
The least upper bound of two elements of the domain.
val eq : t -> t -> bool
eq x y is true if x = y, otherwise it is false.
val bot : t
The bottom element of the domain.