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