`sig
module type G =
sig
type t
module V : Sig.COMPARABLE
module E :
sig
type t
type label
val label : Fixpoint.G.E.t -> Fixpoint.G.E.label
val dst : Fixpoint.G.E.t -> V.t
val src : Fixpoint.G.E.t -> V.t
end
val fold_vertex : (V.t -> 'a -> 'a) -> Fixpoint.G.t -> 'a -> 'a
val succ_e : Fixpoint.G.t -> V.t -> Fixpoint.G.E.t list
val pred_e : Fixpoint.G.t -> V.t -> Fixpoint.G.E.t list
val succ : Fixpoint.G.t -> V.t -> V.t list
val pred : Fixpoint.G.t -> V.t -> V.t list
end
type direction = Forward | Backward
module type Analysis =
sig
type data
type label
type vertex
type cfg
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.label ->
Fixpoint.Analysis.data -> Fixpoint.Analysis.data
end
module Make :
functor (G : G) ->
functor
(A : sig
type data
type label = G.E.label
type vertex = G.V.t
type cfg = G.t
val direction : direction
val join : data -> data -> data
val equal : data -> data -> bool
val analyze : label -> data -> data
end) ->
sig val analyze : (G.V.t -> A.data) -> A.cfg -> G.V.t -> A.data end
end`