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