sig
  type data
  type edge
  type vertex
  type g
  val direction : Fixpoint.direction
  val join :
    Fixpoint.Analysis.data ->
    Fixpoint.Analysis.data -> Fixpoint.Analysis.data
  val equal : Fixpoint.Analysis.data -> Fixpoint.Analysis.data -> bool
  val analyze :
    Fixpoint.Analysis.edge ->
    Fixpoint.Analysis.data -> Fixpoint.Analysis.data
end