sig
  type t
  type edge
  val join :
    ChaoticIteration.Data.t ->
    ChaoticIteration.Data.t -> ChaoticIteration.Data.t
  val equal : ChaoticIteration.Data.t -> ChaoticIteration.Data.t -> bool
  val analyze :
    ChaoticIteration.Data.edge ->
    ChaoticIteration.Data.t -> ChaoticIteration.Data.t
  val widening :
    ChaoticIteration.Data.t ->
    ChaoticIteration.Data.t -> ChaoticIteration.Data.t
end