module type Domain = sig end
sig end
Solve.Make
type t
val lub : t -> t -> t
t -> t -> t
val eq : t -> t -> bool
t -> t -> bool
eq x y
true
x
y
false
val bot : t
t