Module type Solve.Domain


module type Domain = sig  end
Input signature of functor Solve.Make representing the domain of the equations.

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.