module type Domain = sig .. end
sig
end
type t
val bot : t
t
val leq : t -> t -> bool
t -> t -> bool
val cap : t -> t -> t
t -> t -> t
val cup : t -> t -> t
val wide : t -> t -> t
val pretty : Format.formatter -> t -> unit
Format.formatter -> t -> unit