Module Service_graph


module Service_graph: sig .. end
Compute services from a callgraph.

module Make: 
functor (G : sig
type t 
module V: sig .. end
val iter_vertex : (V.t -> unit) -> t -> unit
val iter_succ : (V.t -> unit) ->
t -> V.t -> unit
val iter_pred : (V.t -> unit) ->
t -> V.t -> unit
val fold_pred : (V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'a
val in_degree : t -> V.t -> int
val datatype_name : string
end) -> sig .. end
Generic functor implementing the services algorithm according to a graph implementation.