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