Module type Fixpoint.Domain

module type Domain = sig .. end

type t 
val bot : t
val leq : t -> t -> bool
val cap : t -> t -> t
val cup : t -> t -> t
val wide : t -> t -> t
val pretty : Format.formatter -> t -> unit